| Tue, 03 Sep 2013 01:12:40 +0200 | wenzelm | tuned proofs -- clarified flow of facts wrt. calculation; | changeset | files |
| Tue, 03 Sep 2013 00:51:08 +0200 | wenzelm | proper imports; | changeset | files |
| Mon, 02 Sep 2013 23:35:58 +0200 | wenzelm | tuned proof; | changeset | files |
| 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 |