| 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 |
| Fri, 01 Jun 2012 15:35:49 +0200 | Andreas Lochbihler | merged | changeset | files |
| Fri, 01 Jun 2012 15:33:31 +0200 | Andreas Lochbihler | more instantiations for card_UNIV, | changeset | files |
| Fri, 01 Jun 2012 14:34:46 +0200 | Andreas Lochbihler | simplify card_UNIV type class, | changeset | files |