Sandbox::https://github.com/data61/PSL/tree/master/Abduction

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
document		document
Abduction.thy		Abduction.thy
Abduction_Graph.ML		Abduction_Graph.ML
Abduction_Node.ML		Abduction_Node.ML
Abduction_Statistics.ML		Abduction_Statistics.ML
Abstract_Same_Term.ML		Abstract_Same_Term.ML
All_Top_Down_Conjecturing.ML		All_Top_Down_Conjecturing.ML
And_Node.ML		And_Node.ML
Generalise_By_Renaming.ML		Generalise_By_Renaming.ML
Generalise_Then_Extend.ML		Generalise_Then_Extend.ML
Or2And_Edge.ML		Or2And_Edge.ML
Or_Node.ML		Or_Node.ML
Proof_By_Abduction.ML		Proof_By_Abduction.ML
ROOT		ROOT
Remove_Function.ML		Remove_Function.ML
Remove_Outermost_Assumption.ML		Remove_Outermost_Assumption.ML
Replace_Imp_With_Eq.ML		Replace_Imp_With_Eq.ML
SeLFiE_For_Top_Down.ML		SeLFiE_For_Top_Down.ML
Seed_Of_Or2And_Edge.ML		Seed_Of_Or2And_Edge.ML
Shared_State.ML		Shared_State.ML
Term_Table_for_Abduction.ML		Term_Table_for_Abduction.ML
Top_Down_Util.ML		Top_Down_Util.ML
Update_Abduction_Graph.ML		Update_Abduction_Graph.ML
Update_Abduction_Node.ML		Update_Abduction_Node.ML