| Wed, 28 Jan 2009 16:29:16 +0100 | nipkow | Replaced group_ and ring_simps by algebra_simps; | file | diff | annotate |
| Mon, 17 Nov 2008 17:00:55 +0100 | haftmann | tuned unfold_locales invocation | file | diff | annotate |
| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
| Fri, 26 Sep 2008 09:09:51 +0200 | haftmann | op = vs. eq | file | diff | annotate |
| Thu, 28 Aug 2008 22:08:11 +0200 | haftmann | no parameter prefix for class interpretation | file | diff | annotate |
| Wed, 27 Aug 2008 12:01:59 +0200 | haftmann | added HOL/ex/Numeral.thy | file | diff | annotate |