| Sun, 20 Nov 2011 20:59:30 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| Sun, 20 Nov 2011 20:26:13 +0100 | wenzelm | explicit is better than implicit; | changeset | files |
| Sun, 20 Nov 2011 20:15:02 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| 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 |
| Sat, 19 Nov 2011 21:23:16 +0100 | wenzelm | NEWS; | changeset | files |
| Sat, 19 Nov 2011 21:18:38 +0100 | wenzelm | added ML antiquotation @{attributes}; | changeset | files |
| Sat, 19 Nov 2011 17:20:17 +0100 | wenzelm | merged | changeset | files |
| Sat, 19 Nov 2011 12:42:21 +0100 | blanchet | made SML/NJ happy | changeset | files |