| Fri, 07 Dec 2007 15:07:54 +0100 |
haftmann |
dropped Instance.instantiate
|
file |
diff |
annotate
|
| Thu, 06 Dec 2007 16:36:19 +0100 |
haftmann |
authentic primrec
|
file |
diff |
annotate
|
| Thu, 06 Dec 2007 15:10:09 +0100 |
haftmann |
added new primrec package
|
file |
diff |
annotate
|
| Wed, 05 Dec 2007 14:15:51 +0100 |
haftmann |
improved
|
file |
diff |
annotate
|
| Thu, 29 Nov 2007 17:08:26 +0100 |
haftmann |
instance command as rudimentary class target
|
file |
diff |
annotate
|
| Fri, 12 Oct 2007 08:21:09 +0200 |
haftmann |
consolidated naming conventions for code generator theories
|
file |
diff |
annotate
|
| Tue, 09 Oct 2007 00:20:13 +0200 |
wenzelm |
generic Syntax.pretty/string_of operations;
|
file |
diff |
annotate
|
| Mon, 08 Oct 2007 22:03:28 +0200 |
haftmann |
simplified evaluation
|
file |
diff |
annotate
|
| Sat, 06 Oct 2007 16:50:04 +0200 |
wenzelm |
simplified interfaces for outer syntax;
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 19:41:49 +0200 |
haftmann |
clarified relationship of code generator conversions and evaluations
|
file |
diff |
annotate
|
| Thu, 20 Sep 2007 16:37:31 +0200 |
haftmann |
more permissive
|
file |
diff |
annotate
|
| Tue, 18 Sep 2007 07:46:00 +0200 |
haftmann |
introduced generic concepts for theory interpretators
|
file |
diff |
annotate
|
| Tue, 18 Sep 2007 07:36:12 +0200 |
haftmann |
clarified evaluation code
|
file |
diff |
annotate
|
| Sat, 15 Sep 2007 19:27:42 +0200 |
haftmann |
multi-functional value keyword
|
file |
diff |
annotate
|
| Sat, 01 Sep 2007 15:46:59 +0200 |
wenzelm |
replaced ProofContext.read_term/prop by general Syntax.read_term/prop;
|
file |
diff |
annotate
|
| Fri, 24 Aug 2007 14:14:20 +0200 |
haftmann |
overloaded definitions accompanied by explicit constants
|
file |
diff |
annotate
|
| Tue, 21 Aug 2007 13:30:38 +0200 |
haftmann |
improved evaluation interface
|
file |
diff |
annotate
|
| Wed, 15 Aug 2007 08:57:39 +0200 |
haftmann |
updated code generator setup
|
file |
diff |
annotate
|
| Fri, 10 Aug 2007 17:04:34 +0200 |
haftmann |
new structure for code generator modules
|
file |
diff |
annotate
|
| Wed, 30 May 2007 21:09:15 +0200 |
haftmann |
fixed typo
|
file |
diff |
annotate
|
| Mon, 21 May 2007 19:11:41 +0200 |
haftmann |
evaluation for integers
|
file |
diff |
annotate
|
| Sat, 19 May 2007 11:33:24 +0200 |
haftmann |
typ_of instance for int
|
file |
diff |
annotate
|
| Sun, 06 May 2007 21:50:17 +0200 |
haftmann |
changed code generator invocation syntax
|
file |
diff |
annotate
|
| Thu, 26 Apr 2007 13:33:12 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Fri, 13 Apr 2007 21:26:35 +0200 |
wenzelm |
tuned document (headers, sections, spacing);
|
file |
diff |
annotate
|
| Tue, 27 Mar 2007 09:19:37 +0200 |
haftmann |
fixed document preparation
|
file |
diff |
annotate
|
| Mon, 26 Mar 2007 14:54:45 +0200 |
haftmann |
cleaned up Library/ and ex/
|
file |
diff |
annotate
|