1998-11-16 wenzelm removed lift_modifier;
1998-11-16 wenzelm Attribute.thms_of;
1998-11-16 wenzelm Scan.read;
1998-11-16 wenzelm added read;
1998-11-16 wenzelm tuned usage of read;
1998-11-16 paulson generalized JN_empty and added reachable_SKIP
1998-11-16 paulson removed the reference to mesontest2.ML, itself now deleted
Loading...
(0) -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip