| Wed, 04 Apr 2012 14:19:47 +0200 |
wenzelm |
separate module for prover command execution;
|
changeset |
files
|
| Wed, 04 Apr 2012 14:00:47 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 04 Apr 2012 10:38:04 +0200 |
huffman |
fix typo in ML structure name
|
changeset |
files
|
| Wed, 04 Apr 2012 11:15:54 +0200 |
wenzelm |
removed obsolete isar-overview manual;
|
changeset |
files
|
| Wed, 04 Apr 2012 10:04:25 +0100 |
sultana |
dealing with SMLNJ errors 'value type in structure doesn't match signature spec' (which originated from lack of type generalisation) and 'unresolved flex record' wrt tptp_interpret
|
changeset |
files
|
| Wed, 04 Apr 2012 10:49:42 +0200 |
bulwahn |
merged
|
changeset |
files
|
| Wed, 04 Apr 2012 10:17:54 +0200 |
bulwahn |
rudimentary handling of products in finitize_functions in Quickcheck-Narrowing
|
changeset |
files
|
| Wed, 04 Apr 2012 10:17:08 +0200 |
bulwahn |
improved equality check for modes in predicate compiler
|
changeset |
files
|
| Wed, 04 Apr 2012 09:00:10 +0200 |
huffman |
rename ML structure to avoid shadowing earlier name
|
changeset |
files
|
| Wed, 04 Apr 2012 07:47:42 +0200 |
huffman |
add type annotations to make SML happy (cf. ec6187036495)
|
changeset |
files
|
| Tue, 03 Apr 2012 23:49:24 +0200 |
huffman |
merged
|
changeset |
files
|
| Tue, 03 Apr 2012 22:31:00 +0200 |
huffman |
new transfer proof method
|
changeset |
files
|
| Tue, 03 Apr 2012 22:04:50 +0200 |
huffman |
renamed Tools/transfer.ML to Tools/legacy_transfer.ML
|
changeset |
files
|
| Tue, 03 Apr 2012 21:39:28 +0200 |
wenzelm |
prefer prog-prove, suppress isar-overview;
|
changeset |
files
|
| Tue, 03 Apr 2012 21:09:09 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 03 Apr 2012 20:41:13 +0200 |
wenzelm |
merged
|
changeset |
files
|