Tue, 05 Jan 1999 17:27:59 +0100 | nipkow | In Main: moved Bin to the left to preserve the solver in its simpset. | file | diff | annotate |
Wed, 09 Sep 1998 17:14:19 +0200 | oheimb | changed order of included theories | file | diff | annotate |
Wed, 12 Aug 1998 16:23:25 +0200 | oheimb | cleanup for Fun.thy: | file | diff | annotate |
Fri, 03 Jul 1998 18:05:03 +0200 | wenzelm | theory Main includes everything; | file | diff | annotate |
Fri, 03 Jul 1998 17:34:55 +0200 | wenzelm | stepping stones; | file | diff | annotate |