2006-07-06 wenzelm updated;
2006-07-06 wenzelm Local variables;
2006-07-06 wenzelm Isar.context ();
2006-07-06 wenzelm tuned;
2006-07-06 wenzelm added Isar.context;
2006-07-06 paulson some tidying; fixed the output of theorem names
2006-07-06 wenzelm def_export: Drule.generalize;
2006-07-06 wenzelm matchers: fall back on plain first_order_matchers, not pattern;
2006-07-05 kleing make sure $DISTPREFIX exists before calling makedist
2006-07-05 paulson removed the "tagging" feature
2006-07-05 paulson made the conversion of elimination rules more robust
2006-07-05 mengj Literals aren't sorted any more.
2006-07-05 mengj Literals aren't sorted any more. Output overloaded constants' type var instantiations.
2006-07-05 schirmer fixed let-simproc
2006-07-04 wenzelm Isar: 'print_facts' prints all local facts;
2006-07-04 wenzelm print_lthms: include unnamed facts from index;
Loading...
(0) -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip