| Fri, 04 Feb 2000 21:45:57 +0100 | wenzelm | added MicroJava/document; | file | diff | annotate |
| Tue, 01 Feb 2000 18:18:09 +0100 | oheimb | added forgotten rules to make IMPP | file | diff | annotate |
| Mon, 31 Jan 2000 18:30:35 +0100 | oheimb | added IMPP to HOL | file | diff | annotate |
| Thu, 20 Jan 2000 17:57:59 +0100 | wenzelm | removed Isar_examples/Minimal; | file | diff | annotate |
| Mon, 10 Jan 2000 16:06:43 +0100 | nipkow | Forgot to "call" MicroJava in makefile. | file | diff | annotate |
| Tue, 07 Dec 1999 12:12:54 +0100 | wenzelm | added Isar_examples/Fibonacci.thy; | file | diff | annotate |
| Tue, 30 Nov 1999 16:51:41 +0100 | paulson | new theory UNITY/ELT | file | diff | annotate |
| Mon, 29 Nov 1999 11:21:44 +0100 | wenzelm | Isar_examples/Minimal.thy; | file | diff | annotate |
| Thu, 25 Nov 1999 12:30:57 +0100 | nipkow | del Method.ML | file | diff | annotate |
| Wed, 17 Nov 1999 15:03:23 +0100 | wenzelm | added Isar_examples/Puzzle.thy; | file | diff | annotate |
| Thu, 11 Nov 1999 12:24:48 +0100 | nipkow | Added MicroJava | file | diff | annotate |
| Thu, 11 Nov 1999 11:29:11 +0100 | wenzelm | clean target; | file | diff | annotate |
| Fri, 05 Nov 1999 12:45:37 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |
| Sat, 30 Oct 1999 20:39:01 +0200 | wenzelm | fixed deps; | file | diff | annotate |
| Thu, 28 Oct 1999 19:53:24 +0200 | wenzelm | fixed deps; | file | diff | annotate |
| Mon, 25 Oct 1999 19:24:31 +0200 | wenzelm | added Real/HahnBanach/document/root.bib; | file | diff | annotate |
| Fri, 22 Oct 1999 20:14:31 +0200 | wenzelm | HahnBanach update by Gertrud Bauer; | file | diff | annotate |
| Fri, 08 Oct 1999 15:08:47 +0200 | wenzelm | include document; | file | diff | annotate |
| Wed, 06 Oct 1999 18:50:40 +0200 | wenzelm | Isar_examples/W_correct; | file | diff | annotate |
| Mon, 04 Oct 1999 21:43:05 +0200 | wenzelm | removed TFL/sys.sml; | file | diff | annotate |
| Tue, 28 Sep 1999 22:17:05 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 28 Sep 1999 16:37:04 +0200 | nipkow | added BCV. | file | diff | annotate |
| Tue, 28 Sep 1999 15:30:52 +0200 | paulson | new UNITY theory: Project | file | diff | annotate |
| Wed, 22 Sep 1999 21:04:34 +0200 | wenzelm | proper theory setup for Real/ex/BinEx; | file | diff | annotate |
| Fri, 10 Sep 1999 17:28:51 +0200 | wenzelm | The Hahn-Banach theorem for real vectorspaces (Isabelle/Isar) | file | diff | annotate |
| Wed, 08 Sep 1999 15:37:31 +0200 | paulson | new example HOL/UNITY/TimerArray | file | diff | annotate |
| Thu, 02 Sep 1999 15:25:19 +0200 | wenzelm | renamed NatSum to Summation; | file | diff | annotate |
| Wed, 01 Sep 1999 21:45:48 +0200 | wenzelm | Isar_examples/MultisetOrder.thy; | file | diff | annotate |
| Tue, 31 Aug 1999 15:58:38 +0200 | paulson | new files HOL/UNITY/Guar.{thy,ML}: theory file gets the instance declaration | file | diff | annotate |
| Mon, 30 Aug 1999 20:29:28 +0200 | wenzelm | clean: include HOL-Real-ex; | file | diff | annotate |