| Wed, 02 Jan 2008 15:39:42 +0100 | haftmann | split of class uminus | changeset | files |
| Wed, 02 Jan 2008 15:14:27 +0100 | haftmann | empty dictionaries for OCaml | changeset | files |
| Wed, 02 Jan 2008 15:14:26 +0100 | haftmann | clarified policy | changeset | files |
| Wed, 02 Jan 2008 15:14:25 +0100 | haftmann | tuned | changeset | files |
| Wed, 02 Jan 2008 15:14:24 +0100 | haftmann | some more antiquotations | changeset | files |
| Wed, 02 Jan 2008 15:14:23 +0100 | haftmann | index now a copy of nat rather than int | changeset | files |
| Wed, 02 Jan 2008 15:14:22 +0100 | haftmann | absolute import | changeset | files |
| Wed, 02 Jan 2008 15:14:20 +0100 | haftmann | some more primrec | changeset | files |
| Wed, 02 Jan 2008 15:14:17 +0100 | haftmann | removed some legacy instantiations | changeset | files |
| Wed, 02 Jan 2008 15:14:15 +0100 | haftmann | improved evaluation mechanism | changeset | files |
| Wed, 02 Jan 2008 15:14:02 +0100 | haftmann | splitted class uminus from class minus | changeset | files |
| Wed, 02 Jan 2008 12:22:38 +0100 | paulson | testing for empty sort | changeset | files |
| Wed, 02 Jan 2008 12:22:05 +0100 | paulson | new metis proofs | changeset | files |
| Wed, 02 Jan 2008 04:10:47 +0100 | kleing | renamed foldM to fold_mset on general request | changeset | files |
| Wed, 02 Jan 2008 01:20:18 +0100 | huffman | update instance proofs to new style | changeset | files |
| Tue, 01 Jan 2008 20:35:16 +0100 | huffman | declare sprodE as cases rule; new induction rule sprod_induct | changeset | files |
| Tue, 01 Jan 2008 20:30:16 +0100 | huffman | add induction rule ssum_induct | changeset | files |
| Tue, 01 Jan 2008 16:09:29 +0100 | wenzelm | eval_wrapper: CRITICAL; | changeset | files |
| Tue, 01 Jan 2008 16:09:28 +0100 | wenzelm | try_ml_file: setmp explicit theory context, prevents race condition wrt. concurrent ML_Context.set_context; | changeset | files |
| Tue, 01 Jan 2008 16:09:27 +0100 | wenzelm | tuned spaces; | changeset | files |
| Tue, 01 Jan 2008 16:09:26 +0100 | wenzelm | removed separate exists/forall code; | changeset | files |
| Tue, 01 Jan 2008 07:28:20 +0100 | urbanc | tuned proofs and comments | changeset | files |
| Mon, 31 Dec 2007 19:36:29 +0100 | wenzelm | removed obsolete banner; | changeset | files |
| Sun, 30 Dec 2007 23:07:31 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 30 Dec 2007 23:07:27 +0100 | wenzelm | added PROMPT message; | changeset | files |
| Sun, 30 Dec 2007 22:10:20 +0100 | wenzelm | added isSystem; | changeset | files |
| Sun, 30 Dec 2007 13:15:33 +0100 | wenzelm | simple make script; | changeset | files |
| Sat, 29 Dec 2007 17:47:12 +0100 | wenzelm | tuned comments (javadoc); | changeset | files |
| Thu, 27 Dec 2007 12:11:01 +0100 | wenzelm | use polyml-cvs, the 5.2 development branch; | changeset | files |
| Sat, 22 Dec 2007 14:10:25 +0100 | wenzelm | tuned RandomWord interface; | changeset | files |
| Sat, 22 Dec 2007 14:10:24 +0100 | wenzelm | added int/real/list operations; | changeset | files |
| Sat, 22 Dec 2007 14:10:22 +0100 | wenzelm | use random_word.ML earlier; | changeset | files |