| Tue, 16 Sep 2008 09:21:26 +0200 | haftmann | dropped superfluous code lemmas | file | diff | annotate |
| Tue, 02 Sep 2008 22:37:20 +0200 | nipkow | Replaced Library/NatPair by Nat_Int_Bij. | file | diff | annotate |
| Thu, 03 Jul 2008 11:16:09 +0200 | haftmann | tuned | file | diff | annotate |
| Wed, 02 Jul 2008 07:11:57 +0200 | haftmann | cleaned up some code generator configuration | file | diff | annotate |
| Tue, 01 Jul 2008 07:58:17 +0200 | haftmann | HOL += HOL-Complex | file | diff | annotate |
| Tue, 10 Jun 2008 15:30:06 +0200 | haftmann | major refactorings in code generator modules | file | diff | annotate |
| Wed, 02 Apr 2008 15:58:37 +0200 | haftmann | extended | file | diff | annotate |
| Thu, 27 Mar 2008 19:04:41 +0100 | haftmann | added Enum | file | diff | annotate |
| Fri, 01 Feb 2008 08:32:10 +0100 | haftmann | fixed record problem | file | diff | annotate |
| Thu, 31 Jan 2008 11:47:12 +0100 | haftmann | temporary adjustions | file | diff | annotate |
| Fri, 25 Jan 2008 14:53:56 +0100 | haftmann | distinguished examples for Efficient_Nat.thy | file | diff | annotate |
| Fri, 07 Dec 2007 15:08:07 +0100 | haftmann | new primrec | file | diff | annotate |
| Wed, 05 Dec 2007 14:15:51 +0100 | haftmann | improved | file | diff | annotate |
| Tue, 18 Sep 2007 07:46:00 +0200 | haftmann | introduced generic concepts for theory interpretators | file | diff | annotate |
| Thu, 06 Sep 2007 11:32:28 +0200 | berghofe | Integrated Executable_Rat and Executable_Real theories into | file | diff | annotate |
| Mon, 27 Aug 2007 11:34:14 +0200 | haftmann | added explicit equation for equality of nested environments | file | diff | annotate |
| Fri, 24 Aug 2007 14:14:20 +0200 | haftmann | overloaded definitions accompanied by explicit constants | file | diff | annotate |
| Thu, 09 Aug 2007 15:52:49 +0200 | haftmann | proper implementation of rational numbers | file | diff | annotate |
| Tue, 10 Jul 2007 09:23:16 +0200 | haftmann | re-expanded paths | file | diff | annotate |
| Tue, 05 Jun 2007 22:46:57 +0200 | wenzelm | tuned source deps; | file | diff | annotate |
| Sat, 19 May 2007 11:33:20 +0200 | haftmann | added Executable_Real | file | diff | annotate |
| Tue, 15 May 2007 18:28:02 +0200 | chaieb | A verified theory for rational numbers representation and simple calculations; | file | diff | annotate |
| Fri, 20 Apr 2007 11:21:50 +0200 | haftmann | added more stuff | file | diff | annotate |
| Fri, 30 Mar 2007 16:19:02 +0200 | haftmann | tuned | file | diff | annotate |
| Mon, 26 Mar 2007 14:53:04 +0200 | haftmann | Eval theory | file | diff | annotate |
| Fri, 26 Jan 2007 13:59:02 +0100 | haftmann | added NestedEnvironment | file | diff | annotate |
| Thu, 25 Jan 2007 09:32:45 +0100 | haftmann | not importing NestedEnvironment | file | diff | annotate |
| Fri, 05 Jan 2007 14:31:47 +0100 | haftmann | added CodeEval | file | diff | annotate |
| Thu, 28 Dec 2006 10:04:10 +0100 | haftmann | added | file | diff | annotate |