| Mon, 26 Apr 2010 15:37:50 +0200 | haftmann | use new classes (linordered_)field_inverse_zero | file | diff | annotate |
| Mon, 26 Apr 2010 11:34:17 +0200 | haftmann | class division_ring_inverse_zero | file | diff | annotate |
| Wed, 20 May 2009 15:35:12 +0200 | haftmann | eliminated case input syntax on bits | file | diff | annotate |
| Thu, 26 Feb 2009 08:44:44 -0800 | huffman | remove unnecessary simp rules | file | diff | annotate |
| Thu, 19 Feb 2009 12:26:32 -0800 | huffman | add rule for minus 1 at type bit | file | diff | annotate |
| Thu, 19 Feb 2009 12:03:31 -0800 | huffman | add formalization of a type of integers mod 2 to Library | file | diff | annotate |