| Tue, 20 Oct 2009 16:13:01 +0200 | haftmann | replaced old_style infixes eq_set, subset, union, inter and variants by generic versions | file | diff | annotate |
| Thu, 16 Apr 2009 14:02:14 +0200 | haftmann | whitespace tuning | file | diff | annotate |
| Thu, 17 May 2007 19:49:40 +0200 | haftmann | canonical prefixing of class constants | file | diff | annotate |
| Sat, 08 Jul 2006 12:54:30 +0200 | wenzelm | simprocs: no theory argument -- use simpset context instead; | file | diff | annotate |
| Fri, 10 Mar 2006 15:33:48 +0100 | haftmann | renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc. | file | diff | annotate |
| Fri, 23 Sep 2005 22:21:53 +0200 | wenzelm | Simplifier.inherit_bounds; | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Thu, 08 Jul 2004 19:34:56 +0200 | wenzelm | adapted type of simprocs; | file | diff | annotate |
| Fri, 23 Aug 2002 07:34:20 +0200 | nipkow | for cancelling div + mod. | file | diff | annotate |