src/Doc/Classes/Classes.thy
Tue, 07 Oct 2014 22:35:11 +0200 wenzelm more antiquotations;
Sun, 07 Sep 2014 17:51:32 +0200 haftmann restrictive options for class dependencies
Thu, 24 Apr 2014 00:08:48 +0200 blanchet spelling
less more (0) -3 tip