Fri, 14 Aug 2009 15:36:53 +0200 |
haftmann |
corrected Pair to Char
|
file |
diff |
annotate
|
Thu, 30 Jul 2009 15:21:31 +0200 |
haftmann |
more appropriate printing of function terms
|
file |
diff |
annotate
|
Tue, 14 Jul 2009 16:27:32 +0200 |
haftmann |
prefer code_inline over code_unfold; use code_unfold_post where appropriate
|
file |
diff |
annotate
|
Tue, 14 Jul 2009 10:54:04 +0200 |
haftmann |
code attributes use common underscore convention
|
file |
diff |
annotate
|
Sun, 21 Jun 2009 21:46:07 +0200 |
haftmann |
code equation observes default sort constraints for types
|
file |
diff |
annotate
|
Tue, 09 Jun 2009 22:59:53 +0200 |
haftmann |
less brackets
|
file |
diff |
annotate
|
Tue, 19 May 2009 16:54:55 +0200 |
haftmann |
String.literal replaces message_string, code_numeral replaces (code_)index
|
file |
diff |
annotate
|
Tue, 19 May 2009 13:57:32 +0200 |
haftmann |
moved Code_Index, Random and Quickcheck before Main
|
file |
diff |
annotate
|
Mon, 18 May 2009 15:45:32 +0200 |
haftmann |
tuned term input syntax
|
file |
diff |
annotate
|
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
|