doc-src/IsarImplementation/Thy/proof.thy
Sat, 30 Sep 2006 21:39:17 +0200 wenzelm renamed Variable.invent_fixes to Variable.variant_fixes;
Fri, 15 Sep 2006 22:56:08 +0200 wenzelm tuned;
Thu, 14 Sep 2006 22:48:37 +0200 wenzelm more on theorems;
less more (0) -10 -3 tip