src/HOL/Subst/Subst.thy
Tue, 03 Aug 2010 18:52:42 +0200 wenzelm modernized specifications;
Sat, 10 Nov 2007 23:03:52 +0100 wenzelm tuned specifications of 'notation';
Wed, 03 Oct 2007 19:36:05 +0200 wenzelm modernized specifications;
Fri, 01 Apr 2005 21:04:00 +0200 paulson x-symbols and other tidying
Tue, 29 Mar 2005 12:30:48 +0200 paulson converted HOL-Subst to tactic scripts
Fri, 24 Jul 1998 13:19:38 +0200 berghofe Adapted to new datatype package.
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
less more (0) -10 -7 tip