| Fri, 05 Jun 2009 09:23:41 +0200 |
haftmann |
added mk_valtermify_app and mk_random
|
file |
diff |
annotate
|
| Thu, 04 Jun 2009 15:28:59 +0200 |
haftmann |
insert now qualified and with authentic syntax
|
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
|
| Fri, 15 May 2009 16:39:18 +0200 |
haftmann |
combinators for single-threaded operations
|
file |
diff |
annotate
|
| Wed, 13 May 2009 18:41:38 +0200 |
haftmann |
added abstract operations for typerep/term_of
|
file |
diff |
annotate
|
| Wed, 06 May 2009 16:01:06 +0200 |
haftmann |
refined HOL string theories and corresponding ML fragments
|
file |
diff |
annotate
|
| Wed, 11 Mar 2009 16:20:07 +0100 |
haftmann |
fixed typo
|
file |
diff |
annotate
|
| Wed, 11 Mar 2009 15:56:51 +0100 |
haftmann |
HOLogic.mk_set, HOLogic.dest_set
|
file |
diff |
annotate
|
| Thu, 05 Mar 2009 08:23:11 +0100 |
haftmann |
set operations Int, Un, INTER, UNION, Inter, Union, empty, UNIV are now proper qualified constants with authentic syntax
|
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
| base
|