src/HOL/Algebra/Module.thy
Tue, 16 Dec 2008 21:10:53 +0100 ballarin More porting to new locales.
Mon, 17 Nov 2008 17:00:55 +0100 haftmann tuned unfold_locales invocation
Thu, 31 Jul 2008 09:49:21 +0200 ballarin Tuned (for the sake of a meaningless log entry).
less more (0) -10 -3 tip