Thu, 19 Nov 2015 18:43:41 +0100 | nipkow | tuned and converted to cmp | changeset | files |
Thu, 19 Nov 2015 10:05:46 +0100 | Lars Hupel | misc. changes to Imperative-HOL from Peter Gammie | changeset | files |
Wed, 18 Nov 2015 21:18:33 +0100 | ballarin | Refine the supression of abbreviations for morphisms that are not identities. | changeset | files |