src/Doc/Classes/Classes.thy
Fri, 31 Oct 2014 11:18:17 +0100 wenzelm discontinued Proof General;
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
less more (0) -3 tip