src/HOL/TLA/Buffer/Buffer.thy
Sat, 02 Dec 2006 02:52:02 +0100 wenzelm TLA: converted legacy ML scripts;
Wed, 07 Sep 2005 20:22:39 +0200 wenzelm converted to Isar theory format;
Mon, 08 Feb 1999 13:02:56 +0100 wenzelm updated (Stephan Merz);
Wed, 08 Oct 1997 11:50:33 +0200 wenzelm A formalization of TLA in HOL -- by Stephan Merz;
less more (0) tip