Wed, 09 Apr 2008 20:47:17 +0200 |
wenzelm |
avoid control symbols in document (\<^fixed>);
|
file |
diff |
annotate
|
Wed, 09 Apr 2008 08:10:09 +0200 |
haftmann |
rudimentary user-syntax for terms
|
file |
diff |
annotate
|
Fri, 14 Mar 2008 08:52:52 +0100 |
haftmann |
added combinator for interpretation of construction of datatype
|
file |
diff |
annotate
|
Sun, 09 Mar 2008 07:57:30 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Wed, 27 Feb 2008 21:41:06 +0100 |
haftmann |
added theory for reflected types
|
file |
diff |
annotate
|
Mon, 04 Feb 2008 10:52:39 +0100 |
haftmann |
suppport for messages and indices
|
file |
diff |
annotate
|
Fri, 01 Feb 2008 08:35:58 +0100 |
haftmann |
<TERM> syntax
|
file |
diff |
annotate
|
Thu, 31 Jan 2008 11:44:43 +0100 |
haftmann |
proper term_of functions
|
file |
diff |
annotate
|
Tue, 29 Jan 2008 10:20:00 +0100 |
haftmann |
cleaned up evaluation interfaces
|
file |
diff |
annotate
|
Sat, 26 Jan 2008 20:01:37 +0100 |
wenzelm |
avoid redundant escaping of Isabelle symbols;
|
file |
diff |
annotate
|
Tue, 15 Jan 2008 16:19:23 +0100 |
haftmann |
joined theories IntDef, Numeral, IntArith to theory Int
|
file |
diff |
annotate
|
Tue, 08 Jan 2008 11:37:30 +0100 |
haftmann |
explicit type variables for instantiation
|
file |
diff |
annotate
|
Wed, 02 Jan 2008 15:14:15 +0100 |
haftmann |
improved evaluation mechanism
|
file |
diff |
annotate
|
Tue, 18 Dec 2007 14:37:00 +0100 |
haftmann |
switched from PreList to ATP_Linkup
|
file |
diff |
annotate
|
Mon, 17 Dec 2007 17:57:48 +0100 |
haftmann |
improved term syntax
|
file |
diff |
annotate
|
Tue, 11 Dec 2007 10:23:10 +0100 |
haftmann |
dropped Class.prep_spec
|
file |
diff |
annotate
|
Mon, 10 Dec 2007 11:24:09 +0100 |
haftmann |
switched import from Main to PreList
|
file |
diff |
annotate
|
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
|