| Sun, 07 Mar 2010 07:42:46 -0800 | huffman | add lemmas Nats_cases and Nats_induct | changeset | files |
| Sun, 07 Mar 2010 07:29:34 -0800 | huffman | generalize some lemmas, and remove a few unnecessary ones | changeset | files |
| Sat, 06 Mar 2010 18:24:30 -0800 | huffman | generalize some lemmas from class linordered_ring_strict to linordered_ring | changeset | files |
| Sat, 06 Mar 2010 16:02:22 -0800 | huffman | add case_names attribute to casedist and ind rules | changeset | files |
| Sat, 06 Mar 2010 08:08:30 -0800 | huffman | add some lemmas about complete lattices | changeset | files |
| Sun, 07 Mar 2010 15:51:29 +0100 | wenzelm | Digesting strings according to SHA-1. | changeset | files |
| Sun, 07 Mar 2010 15:49:49 +0100 | wenzelm | proper int wrapping for Word32; | changeset | files |
| Sun, 07 Mar 2010 12:47:02 +0100 | wenzelm | separate structure Typedecl; | changeset | files |