src/Doc/Classes/Classes.thy
Wed, 04 Nov 2015 08:13:52 +0100 ballarin Keyword 'rewrites' identifies rewrite morphisms.
Wed, 14 Oct 2015 15:06:42 +0200 wenzelm more symbols;
Mon, 12 Oct 2015 21:15:10 +0200 wenzelm isabelle update_cartouches;
Mon, 12 Oct 2015 19:47:29 +0200 wenzelm spelling;
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
Fri, 31 Oct 2014 11:18:17 +0100 wenzelm discontinued Proof General;
Tue, 07 Oct 2014 22:35:11 +0200 wenzelm more antiquotations;
less more (0) -10 -7 tip