| Wed, 16 Jul 2008 17:37:59 +0200 | berghofe | Added Standardization theory to nominal examples. | file | diff | annotate |
| Fri, 04 Jul 2008 07:39:01 +0200 | haftmann | added marginal setup for code generation | file | diff | annotate |
| Thu, 03 Jul 2008 19:50:19 +0200 | wenzelm | removed old Complex/ex/NSPrimes.thy; | file | diff | annotate |
| Thu, 03 Jul 2008 19:17:29 +0200 | wenzelm | more precise dependencies for HOL-Word and HOL-NSA; | file | diff | annotate |
| Thu, 03 Jul 2008 17:53:39 +0200 | huffman | add HOL-NSA | file | diff | annotate |
| Thu, 03 Jul 2008 11:16:33 +0200 | haftmann | code antiquotation roaring ahead | file | diff | annotate |
| Wed, 02 Jul 2008 07:12:17 +0200 | haftmann | code antiquotation roaring ahead | file | diff | annotate |
| Tue, 01 Jul 2008 21:20:18 +0200 | wenzelm | clean: HOL-Plain; | file | diff | annotate |
| Tue, 01 Jul 2008 09:58:32 +0200 | haftmann | (removed Complex/ROOT.ML) | file | diff | annotate |
| Tue, 01 Jul 2008 07:58:17 +0200 | haftmann | HOL += HOL-Complex | file | diff | annotate |
| Mon, 30 Jun 2008 13:41:30 +0200 | haftmann | HOL-Complex with proof terms | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Mon, 23 Jun 2008 15:51:38 +0200 | wenzelm | moved src/HOL/Tools/induct_tacs.ML to src/Tools/induct_tacs.ML; | file | diff | annotate |
| Fri, 20 Jun 2008 21:00:16 +0200 | haftmann | moved Float.thy to Library | file | diff | annotate |
| Thu, 12 Jun 2008 11:51:47 +0200 | wenzelm | some reformatting; | file | diff | annotate |
| Thu, 12 Jun 2008 10:03:45 +0200 | urbanc | added CK_Machine to the nominal section | file | diff | annotate |
| Tue, 10 Jun 2008 19:15:20 +0200 | wenzelm | added HOL/Tools/induct_tacs.ML; | file | diff | annotate |
| Tue, 10 Jun 2008 15:30:06 +0200 | haftmann | major refactorings in code generator modules | file | diff | annotate |
| Sun, 01 Jun 2008 17:39:21 +0200 | urbanc | new example | file | diff | annotate |
| Tue, 13 May 2008 09:14:07 +0200 | krauss | fixed makefile | file | diff | annotate |
| Fri, 25 Apr 2008 15:30:33 +0200 | krauss | Merged theories about wellfoundedness into one: Wellfounded.thy | file | diff | annotate |
| Tue, 22 Apr 2008 10:31:15 +0200 | haftmann | dropped theory PreList | file | diff | annotate |
| Tue, 22 Apr 2008 08:33:21 +0200 | haftmann | added theory Sublist_Order | file | diff | annotate |
| Wed, 16 Apr 2008 17:40:59 +0200 | wenzelm | removed unused TLA/Memory/MIParameters.thy; | file | diff | annotate |
| Tue, 08 Apr 2008 20:14:36 +0200 | krauss | fixed makefiles | file | diff | annotate |
| Thu, 20 Mar 2008 12:01:10 +0100 | haftmann | added theory Library/Enum.thy | file | diff | annotate |
| Fri, 14 Mar 2008 19:57:12 +0100 | nipkow | Added lemmas | file | diff | annotate |
| Wed, 12 Mar 2008 19:38:14 +0100 | haftmann | separated Random.thy from Quickcheck.thy | file | diff | annotate |
| Fri, 07 Mar 2008 13:53:01 +0100 | haftmann | canonical order on option type | file | diff | annotate |
| Tue, 04 Mar 2008 13:35:45 +0100 | urbanc | added new example | file | diff | annotate |