doc-src/IsarImplementation/Thy/Integration.thy
Tue, 02 Feb 2010 13:22:36 +0100 wenzelm minimal tuning of this slightly dated material;
Thu, 28 Jan 2010 22:38:11 +0100 wenzelm formal markup of type aliases;
Wed, 28 Oct 2009 22:26:00 +0100 wenzelm updated Isar.goal;
less more (0) -3 tip