Fri, 15 May 2009 16:39:15 +0200 |
haftmann |
syntax support for term expressions
|
file |
diff |
annotate
|
Thu, 14 May 2009 08:22:07 +0200 |
haftmann |
dropped accidental debug messages
|
file |
diff |
annotate
|
Wed, 13 May 2009 18:41:54 +0200 |
haftmann |
tuned construction of term_of instances
|
file |
diff |
annotate
|
Wed, 06 May 2009 16:01:06 +0200 |
haftmann |
refined HOL string theories and corresponding ML fragments
|
file |
diff |
annotate
|
Mon, 04 May 2009 14:49:46 +0200 |
haftmann |
class typerep inherits from type
|
file |
diff |
annotate
|
Fri, 24 Apr 2009 08:24:54 +0200 |
haftmann |
generic postprocessing scheme for term evaluations
|
file |
diff |
annotate
|
Fri, 17 Apr 2009 14:29:56 +0200 |
haftmann |
re-engineering of evaluation conversions
|
file |
diff |
annotate
|
Wed, 11 Mar 2009 08:45:46 +0100 |
haftmann |
delete code equations for types pred and seq
|
file |
diff |
annotate
|
Wed, 21 Jan 2009 16:47:02 +0100 |
haftmann |
improved and corrected reading of class specs -- still draft version
|
file |
diff |
annotate
|
Thu, 04 Dec 2008 14:43:33 +0100 |
haftmann |
cleaned up binding module and related code
|
file |
diff |
annotate
|
Wed, 03 Dec 2008 15:58:44 +0100 |
haftmann |
made repository layout more coherent with logical distribution structure; stripped some $Id$s
|
file |
diff |
annotate
|
Wed, 22 Oct 2008 14:15:43 +0200 |
haftmann |
slightly tuned
|
file |
diff |
annotate
|
Fri, 10 Oct 2008 06:45:53 +0200 |
haftmann |
`code func` now just `code`
|
file |
diff |
annotate
|
Mon, 29 Sep 2008 10:58:01 +0200 |
wenzelm |
LocalTheory.exit_global;
|
file |
diff |
annotate
|
Fri, 26 Sep 2008 09:10:02 +0200 |
haftmann |
removed obsolete name convention "func"
|
file |
diff |
annotate
|
Thu, 25 Sep 2008 09:28:03 +0200 |
haftmann |
discontinued special treatment of op = vs. eq_class.eq
|
file |
diff |
annotate
|
Tue, 23 Sep 2008 18:11:42 +0200 |
haftmann |
renamed rtype to typerep
|
file |
diff |
annotate
|
Mon, 22 Sep 2008 13:56:01 +0200 |
haftmann |
absolute Library path
|
file |
diff |
annotate
|
Tue, 16 Sep 2008 16:13:06 +0200 |
haftmann |
moved term_of syntax to separate theory
|
file |
diff |
annotate
|
Tue, 16 Sep 2008 09:21:24 +0200 |
haftmann |
evaluation using code generator
|
file |
diff |
annotate
|