equal
deleted
inserted
replaced
708 (SML "MinisatProofStep.ProofStep") |
708 (SML "MinisatProofStep.ProofStep") |
709 |
709 |
710 code_const ProofDone and Root and Conflict and Delete and Xstep |
710 code_const ProofDone and Root and Conflict and Delete and Xstep |
711 (SML "MinisatProofStep.ProofDone" and "MinisatProofStep.Root ((_),/ (_))" and "MinisatProofStep.Conflict ((_),/ (_))" and "MinisatProofStep.Delete" and "MinisatProofStep.Xstep ((_),/ (_))") |
711 (SML "MinisatProofStep.ProofDone" and "MinisatProofStep.Root ((_),/ (_))" and "MinisatProofStep.Conflict ((_),/ (_))" and "MinisatProofStep.Delete" and "MinisatProofStep.Xstep ((_),/ (_))") |
712 |
712 |
713 export_code checker in SML module_name SAT file - |
713 export_code checker tchecker lchecker in SML |
714 export_code tchecker in SML module_name SAT file - |
|
715 export_code lchecker in SML module_name SAT file - |
|
716 |
714 |
717 end |
715 end |