Use Eisbach’s solves in apply scripts
-rw-r--r-- 3 .gitignore
-rw-r--r-- 5562 Abstract_Formula.thy
-rw-r--r-- 5667 Abstract_Rules.thy
-rw-r--r-- 5707 Abstract_Rules_To_Incredible.thy
-rw-r--r-- 6890 Build_Incredible_Tree.thy
-rw-r--r-- 482 Entailment.thy
-rw-r--r-- 30284 Incredible_Completeness.thy
-rw-r--r-- 21209 Incredible_Correctness.thy
-rw-r--r-- 25307 Incredible_Deduction.thy
-rw-r--r-- 291 Incredible_Everything.thy
-rw-r--r-- 2809 Incredible_Predicate.thy
-rw-r--r-- 9694 Incredible_Predicate_Tasks.thy
-rw-r--r-- 2456 Incredible_Propositional.thy
-rw-r--r-- 10949 Incredible_Propositional_Tasks.thy
-rw-r--r-- 2984 Incredible_Signatures.thy
-rw-r--r-- 28149 Incredible_Trees.thy
-rw-r--r-- 4390 Indexed_FSet.thy
-rw-r--r-- 1274 Inits.thy
-rw-r--r-- 4554 Natural_Deduction.thy
-rw-r--r-- 9881 Predicate_Formulas.thy
-rw-r--r-- 5235 Propositional_Formulas.thy
-rw-r--r-- 431 ROOT
-rw-r--r-- 3390 Rose_Tree.thy
-rw-r--r-- 485 Stream_Ext.thy
drwxr-xr-x - document