| Mon, 02 Sep 2013 16:10:26 +0200 | wenzelm | more explicit indication of 'guess' as improper Isar (aka "script") element; | changeset | files |
| Tue, 03 Sep 2013 22:12:48 +0200 | ballarin | Further clarifies sublocale and rewrite morphisms. | changeset | files |
| Tue, 03 Sep 2013 22:12:48 +0200 | ballarin | Clarifies that interpretation does not only apply to facts, but to declaratoins in general. | changeset | files |