| Sat, 22 Nov 2014 14:13:36 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sat, 22 Nov 2014 13:38:15 +0100 | wenzelm | more careful ML source positions, for improved PIDE markup; | changeset | files |
| Sat, 22 Nov 2014 11:36:00 +0100 | wenzelm | named_theorems: multiple args; | changeset | files |
| Fri, 21 Nov 2014 22:59:32 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 21 Nov 2014 18:14:39 +0100 | wenzelm | removed some add-ons from modules that are relevant for the inference kernel; | changeset | files |
| Fri, 21 Nov 2014 13:18:56 +0100 | Andreas Lochbihler | add lemma following a proof suggestion by Joachim Breitner | changeset | files |