equal
deleted
inserted
replaced
1 (* Title: HOL/Tools/Qelim/langford.ML |
1 (* Title: HOL/Decision_Procs/langford.ML |
2 Author: Amine Chaieb, TU Muenchen |
2 Author: Amine Chaieb, TU Muenchen |
3 *) |
3 *) |
4 |
4 |
5 signature LANGFORD_QE = |
5 signature LANGFORD_QE = |
6 sig |
6 sig |