1997-02-15 oheimb added delcongs, Delcongs, unsafe_solver, safe_solver, FOL_basic_ss,
1997-02-15 oheimb corrected minor mistakes
1997-02-15 oheimb description of safe vs. unsafe wrapper and the functions involved
1997-02-15 oheimb moved THEN_MAYBE to Pure/tctical.ML
1997-02-15 oheimb added deleqcongs, richer rep_ss
1997-02-15 oheimb description of del(eq)congs, safe and unsafe solver
Loading...
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip