| Sun, 03 Jun 2012 15:49:55 +0200 | haftmann | explicit check for correct number of arguments for abstract constructor | changeset | files |
| Sat, 02 Jun 2012 08:32:42 +0200 | huffman | merged | changeset | files |
| Sat, 02 Jun 2012 08:27:29 +0200 | huffman | transfer method now handles transfer rules for compound terms, e.g. locale-defined constants with hidden parameters | changeset | files |
| Fri, 01 Jun 2012 11:55:06 +0200 | huffman | transfer method now avoids generalizing over free variables that are known to appear in registered transfer rules | changeset | files |
| Fri, 01 Jun 2012 11:54:34 +0200 | huffman | unify theory-data structures for transfer package | changeset | files |
| Fri, 01 Jun 2012 11:53:58 +0200 | huffman | remove duplicate lemma card_unit in favor of Finite_Set.card_UNIV_unit | changeset | files |
| Fri, 01 Jun 2012 20:40:34 +0200 | Andreas Lochbihler | improved code setup for card, finite, subset | changeset | files |