| 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
|