src/Doc/Locales/Examples3.thy
Tue, 05 Jul 2016 17:52:08 +0200 blanchet typo (reported by Anders Schlichtkrull)
Sat, 21 Nov 2015 23:02:12 +0100 ballarin Updates to the revision history of the locales tutorial.
Sat, 21 Nov 2015 23:02:07 +0100 ballarin Clarify locale qualifiers: output and tutorial.
Wed, 18 Nov 2015 21:18:33 +0100 ballarin Refine the supression of abbreviations for morphisms that are not identities.
Wed, 04 Nov 2015 08:13:52 +0100 ballarin Keyword 'rewrites' identifies rewrite morphisms.
Wed, 04 Nov 2015 08:13:49 +0100 ballarin Qualifiers in locale expressions default to mandatory regardless of the command.
Mon, 12 Oct 2015 21:15:10 +0200 wenzelm isabelle update_cartouches;
Tue, 07 Oct 2014 22:35:11 +0200 wenzelm more antiquotations;
Tue, 22 Jul 2014 14:52:35 +0200 wenzelm discontinued presumable workarounds for extra inter-theory space, which are obsolete since 0e5fa27d3293;
Mon, 09 Dec 2013 12:22:23 +0100 wenzelm more antiquotations;
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip