doc-src/IsarRef/Thy/Spec.thy
Thu, 02 Jul 2009 16:06:12 +0200 haftmann instance arities can be simultaneous
Wed, 17 Jun 2009 10:34:02 +0200 haftmann refined section concerning classes
Wed, 06 May 2009 16:01:05 +0200 haftmann tuned description of overloading
Mon, 16 Mar 2009 17:48:02 +0100 wenzelm spelling;
Sun, 15 Mar 2009 15:59:43 +0100 wenzelm added 'attribute_setup' command;
Wed, 11 Mar 2009 23:59:34 +0100 wenzelm added 'local_setup' command;
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
less more (0) -30 -10 -7 tip