Tue, 24 Apr 2001 12:19:58 +0200 | paulson | removal of image_Collect as a default simprule | changeset | files |
Tue, 24 Apr 2001 12:19:01 +0200 | paulson | (rough) conversion of Auth/Recur to Isar format | changeset | files |
Mon, 23 Apr 2001 17:11:19 +0200 | oheimb | added parentheses for 'b y' syntax, added primitive smp_tac support | changeset | files |
Fri, 20 Apr 2001 17:18:47 +0200 | nipkow | *** empty log message *** | changeset | files |
Fri, 20 Apr 2001 11:11:40 +0200 | paulson | suggestions from OHeimb | changeset | files |
Thu, 19 Apr 2001 15:42:53 +0200 | paulson | renaming of theory LOmega to lomega2 in order to prevent a possible | changeset | files |
Thu, 19 Apr 2001 13:36:07 +0200 | nipkow | *** empty log message *** | changeset | files |