src/Doc/Locales/Examples3.thy
2016-08-25 ballarin 2016-08-25 Back to original example theorem.
2016-08-12 wenzelm 2016-08-12 more symbols;
2016-07-05 blanchet 2016-07-05 avoid reference to invisible theorem, by using another one instead (suggested by Anders Schlichtkrull; the document's author is incomunicado)
2016-07-05 blanchet 2016-07-05 typo (reported by Anders Schlichtkrull)
2015-11-21 ballarin 2015-11-21 Updates to the revision history of the locales tutorial.
2015-11-21 ballarin 2015-11-21 Clarify locale qualifiers: output and tutorial.
2015-11-18 ballarin 2015-11-18 Refine the supression of abbreviations for morphisms that are not identities.
2015-11-04 ballarin 2015-11-04 Keyword 'rewrites' identifies rewrite morphisms.
2015-11-04 ballarin 2015-11-04 Qualifiers in locale expressions default to mandatory regardless of the command.
2015-10-12 wenzelm 2015-10-12 isabelle update_cartouches;
2014-10-07 wenzelm 2014-10-07 more antiquotations;
2014-07-22 wenzelm 2014-07-22 discontinued presumable workarounds for extra inter-theory space, which are obsolete since 0e5fa27d3293;
2013-12-09 wenzelm 2013-12-09 more antiquotations;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;