| Sun, 20 Nov 2011 17:57:09 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 20 Nov 2011 17:44:41 +0100 | wenzelm | 'lemmas' / 'theorems' commands allow 'for' fixes and standardize the result before storing; | changeset | files |
| Sun, 20 Nov 2011 17:32:27 +0100 | wenzelm | updated comment; | changeset | files |
| Sun, 20 Nov 2011 17:04:59 +0100 | wenzelm | more uniform signature; | changeset | files |
| Sun, 20 Nov 2011 16:59:37 +0100 | wenzelm | uniform cert_vars/read_vars; | changeset | files |
| Sun, 20 Nov 2011 16:58:12 +0100 | wenzelm | eliminated dead code; | changeset | files |
| Sun, 20 Nov 2011 15:21:22 +0100 | wenzelm | clarified certify vs. sharing; | changeset | files |
| Sun, 20 Nov 2011 13:29:12 +0100 | wenzelm | tuned; | changeset | files |