src/HOL/Main.thy
Thu, 08 Jul 1999 13:37:40 +0200 paulson new theory IntDiv.thy
Fri, 04 Jun 1999 19:57:31 +0200 wenzelm Calculation.thy: Setup transitivity rules for calculational proofs.
Tue, 05 Jan 1999 17:27:59 +0100 nipkow In Main: moved Bin to the left to preserve the solver in its simpset.
Wed, 09 Sep 1998 17:14:19 +0200 oheimb changed order of included theories
Wed, 12 Aug 1998 16:23:25 +0200 oheimb cleanup for Fun.thy:
Fri, 03 Jul 1998 18:05:03 +0200 wenzelm theory Main includes everything;
Fri, 03 Jul 1998 17:34:55 +0200 wenzelm stepping stones;
less more (0) tip