Tue, 29 Mar 2005 12:30:48 +0200 | paulson | converted HOL-Subst to tactic scripts | changeset | files |
Mon, 28 Mar 2005 16:19:56 +0200 | paulson | conversion of UNITY to Isar scripts | changeset | files |
Sat, 26 Mar 2005 18:20:29 +0100 | paulson | new display of theory stamps | changeset | files |