| Tue, 08 Apr 2008 18:30:40 +0200 | krauss | Generic conversion and tactic "atomize_elim" to convert elimination rules | file | diff | annotate |
| Thu, 20 Mar 2008 12:01:12 +0100 | haftmann | adjusted authorship | file | diff | annotate |
| Mon, 10 Mar 2008 18:44:20 +0100 | huffman | instance fun :: (finite, countable) countable | file | diff | annotate |
| Wed, 27 Feb 2008 21:41:07 +0100 | haftmann | added theory for countable types | file | diff | annotate |