| Sat, 03 Sep 2011 08:01:49 -0700 | huffman | shorten some proofs | changeset | files |
| Fri, 02 Sep 2011 20:58:31 -0700 | huffman | remove redundant simp rules ceiling_floor and floor_ceiling | changeset | files |
| Sat, 03 Sep 2011 22:05:25 +0200 | wenzelm | misc tuning and simplification of proofs; | changeset | files |
| Sat, 03 Sep 2011 21:15:35 +0200 | wenzelm | Document.removed_versions on Scala side; | changeset | files |
| Sat, 03 Sep 2011 19:47:31 +0200 | wenzelm | discontinued predefined empty command (obsolete!?); | changeset | files |
| Sat, 03 Sep 2011 19:39:16 +0200 | wenzelm | discontinued global execs: store exec value directly within entries; | changeset | files |