src/Pure/Isar/overloading.ML
Thu, 10 Apr 2008 00:46:40 +0200 haftmann improvements are strict
Wed, 02 Apr 2008 15:58:43 +0200 haftmann tuned
Wed, 12 Mar 2008 08:47:35 +0100 haftmann better improvement in instantiation target
Mon, 10 Mar 2008 21:51:47 +0100 haftmann tuned
Fri, 07 Mar 2008 13:53:07 +0100 haftmann generic improvable syntax for targets
Tue, 08 Jan 2008 11:37:27 +0100 haftmann refined overloading target
Tue, 11 Dec 2007 10:23:13 +0100 haftmann continued
Wed, 05 Dec 2007 14:15:51 +0100 haftmann improved
Mon, 03 Dec 2007 16:04:17 +0100 haftmann overloading target
less more (0) tip