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 |