2003-12-22 paulson downgrading abel_cancel
2003-12-22 paulson new binding
2003-12-22 paulson simplifying
2003-12-22 paulson moving HyperArith0.ML to other theories
2003-12-22 paulson removing obsolete bindings
2003-12-21 paulson tidying of HOL/Auth esp Guard lemmas
2003-12-21 nipkow removed insert_Diff_single from simpset because it interfered with Auth :-(
Loading...
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip