1997-02-15 | oheimb | added delcongs, Delcongs, unsafe_solver, safe_solver, FOL_basic_ss, | changeset | files |
1997-02-15 | oheimb | corrected minor mistakes | changeset | files |
1997-02-15 | oheimb | description of safe vs. unsafe wrapper and the functions involved | changeset | files |
1997-02-15 | oheimb | moved THEN_MAYBE to Pure/tctical.ML | changeset | files |
1997-02-15 | oheimb | added deleqcongs, richer rep_ss | changeset | files |
1997-02-15 | oheimb | description of del(eq)congs, safe and unsafe solver | changeset | files |
Loading... |