src/HOL/TLA/Stfun.ML
Sat, 29 Dec 2001 13:14:11 +0100 wenzelm update by Stephan Merz;
Mon, 08 Feb 1999 13:02:56 +0100 wenzelm updated (Stephan Merz);
Mon, 03 Nov 1997 12:13:18 +0100 wenzelm isatool fixclasimp;
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Wed, 08 Oct 1997 11:50:33 +0200 wenzelm A formalization of TLA in HOL -- by Stephan Merz;
less more (0) tip