src/HOL/TLA/Memory/ROOT.ML
Wed, 07 Sep 2005 20:22:39 +0200 wenzelm converted to Isar theory format;
Tue, 30 May 2000 16:08:38 +0200 wenzelm cleaned up;
Mon, 08 Feb 1999 13:02:56 +0100 wenzelm updated (Stephan Merz);
Thu, 09 Oct 1997 17:20:15 +0200 wenzelm *** empty log message ***
less more (0) tip