Thu, 31 May 2007 01:25:35 +0200 |
wenzelm |
reversed SML B library patches;
|
changeset |
files
|
Thu, 31 May 2007 01:25:24 +0200 |
wenzelm |
TextIO.inputLine: use present SML B library version;
|
changeset |
files
|
Wed, 30 May 2007 23:32:54 +0200 |
wenzelm |
tuned USEDIR_OPTIONS;
|
changeset |
files
|
Wed, 30 May 2007 23:31:57 +0200 |
wenzelm |
removed HOL4 image, which seldom works;
|
changeset |
files
|
Wed, 30 May 2007 21:09:18 +0200 |
haftmann |
simplified data setup
|
changeset |
files
|
Wed, 30 May 2007 21:09:17 +0200 |
haftmann |
instance: always print sorts on failure
|
changeset |
files
|
Wed, 30 May 2007 21:09:16 +0200 |
haftmann |
more example
|
changeset |
files
|
Wed, 30 May 2007 21:09:15 +0200 |
haftmann |
fixed typo
|
changeset |
files
|
Wed, 30 May 2007 21:09:13 +0200 |
haftmann |
updated
|
changeset |
files
|
Wed, 30 May 2007 21:09:12 +0200 |
haftmann |
generalized lemmas
|
changeset |
files
|
Wed, 30 May 2007 21:09:11 +0200 |
haftmann |
eliminated strings
|
changeset |
files
|
Wed, 30 May 2007 21:09:09 +0200 |
haftmann |
tuned
|
changeset |
files
|
Wed, 30 May 2007 18:05:10 +0200 |
krauss |
clarified error message
|
changeset |
files
|
Wed, 30 May 2007 02:41:26 +0200 |
huffman |
simplify names of locale interpretations
|
changeset |
files
|