Mon, 19 Jul 1999 15:35:42 +0200 | paulson | NatBin: binary arithmetic for the naturals | file | diff | annotate |
Thu, 08 Jul 1999 13:37:40 +0200 | paulson | new theory IntDiv.thy | file | diff | annotate |
Fri, 04 Jun 1999 19:57:31 +0200 | wenzelm | Calculation.thy: Setup transitivity rules for calculational proofs. | file | diff | annotate |
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 |