| Tue, 10 Jul 2007 17:30:49 +0200 | haftmann | clarified import | file | diff | annotate |
| Thu, 21 Jun 2007 20:48:47 +0200 | wenzelm | moved Presburger setup back to Presburger.thy; | file | diff | annotate |
| Thu, 21 Jun 2007 17:28:50 +0200 | wenzelm | renamed NatSimprocs.thy to Arith_Tools.thy; | file | diff | annotate |
| Sun, 06 May 2007 21:49:44 +0200 | haftmann | PreList imports RecDef | file | diff | annotate |
| Wed, 22 Nov 2006 10:20:17 +0100 | haftmann | does not import Hilber_Choice any longer | file | diff | annotate |
| Mon, 13 Nov 2006 15:43:07 +0100 | haftmann | PreList = Main - List | file | diff | annotate |
| Wed, 08 Nov 2006 23:11:13 +0100 | wenzelm | moved theories Parity, GCD, Binomial to Library; | file | diff | annotate |
| Tue, 19 Sep 2006 15:21:48 +0200 | haftmann | text cleanup | file | diff | annotate |
| Tue, 20 Sep 2005 14:03:37 +0200 | wenzelm | tuned theory dependencies; | file | diff | annotate |
| Tue, 09 Aug 2005 19:10:30 +0200 | nipkow | moved wf_induct_rule from PreList.thy to Wellfounded_Recursion.thy | file | diff | annotate |
| Fri, 08 Jul 2005 11:38:30 +0200 | nipkow | changed imports due to new GCD.thy | file | diff | annotate |
| Fri, 19 Nov 2004 14:00:31 +0100 | chaieb | Barith removed | file | diff | annotate |
| Wed, 06 Oct 2004 13:58:08 +0200 | chaieb | changed in order to insert Barith.thy | file | diff | annotate |
| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |
| Mon, 16 Aug 2004 14:22:27 +0200 | nipkow | New theory header syntax. | file | diff | annotate |