| Tue, 27 Oct 2009 15:32:21 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Thu, 22 Oct 2009 13:48:06 +0200 |
haftmann |
map_range (and map_index) combinator
|
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
|
| Mon, 08 Jun 2009 08:38:52 +0200 |
haftmann |
constant "chars" of all characters
|
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
|
| Sun, 17 May 2009 07:17:39 +0200 |
haftmann |
is a definition
|
file |
diff |
annotate
|
| Sat, 16 May 2009 20:17:59 +0200 |
bulwahn |
added new kind generated_theorem for theorems which are generated by packages to distinguish between theorems from users and packages
|
file |
diff |
annotate
|
| Wed, 06 May 2009 19:09:31 +0200 |
haftmann |
proper structures for list and string code generation stuff
|
file |
diff |
annotate
|
| Wed, 06 May 2009 16:01:23 +0200 |
haftmann |
refined HOL string theories and corresponding ML fragments
|
file |
diff |
annotate
|
| Tue, 16 Jan 2001 00:30:06 +0100 |
wenzelm |
improved string syntax (allow translation rules);
|
file |
diff |
annotate
|
| Sat, 23 Dec 2000 22:50:19 +0100 |
wenzelm |
Tools/string_syntax.ML;
|
file |
diff |
annotate
|
| Mon, 16 Aug 1999 22:07:12 +0200 |
wenzelm |
'a list: Nil, Cons;
|
file |
diff |
annotate
|
| Wed, 17 Mar 1999 17:18:54 +0100 |
wenzelm |
xstr token class;
|
file |
diff |
annotate
|
| Fri, 03 Jul 1998 17:33:47 +0200 |
wenzelm |
moved String theory to main HOL;
|
file |
diff |
annotate
|