src/HOL/TLA/README.html
Tue, 04 Oct 2005 10:52:43 +0200 haftmann fixed broken mailto: link
Mon, 07 Mar 2005 19:17:07 +0100 webertj HTML 4.01 Transitional conformity
Sun, 14 Nov 2004 01:40:27 +0100 webertj DOCTYPE declaration added
Mon, 18 Oct 1999 18:38:21 +0200 wenzelm update by Stephan Merz;
Mon, 08 Feb 1999 13:02:56 +0100 wenzelm updated (Stephan Merz);
Thu, 27 Aug 1998 11:50:18 +0200 wenzelm weblinted, tuned;
Mon, 13 Oct 1997 11:00:06 +0200 merz Absolute URL's for documentation
Wed, 08 Oct 1997 11:50:33 +0200 wenzelm A formalization of TLA in HOL -- by Stephan Merz;
less more (0) tip