| Mon, 02 Mar 2009 16:53:55 +0100 | nipkow | name changes | file | diff | annotate |
| Fri, 25 Jul 2008 12:03:28 +0200 | haftmann | tuned | file | diff | annotate |
| Mon, 17 Mar 2008 18:37:05 +0100 | wenzelm | avoid rebinding of existing facts; | file | diff | annotate |
| Wed, 02 Jan 2008 15:14:17 +0100 | haftmann | removed some legacy instantiations | file | diff | annotate |
| Wed, 11 Jul 2007 11:49:56 +0200 | berghofe | Restored set notation in Multiset theory. | file | diff | annotate |
| Wed, 07 Feb 2007 18:10:21 +0100 | berghofe | - Adapted to new inductive definition package | file | diff | annotate |
| Mon, 05 Jun 2006 14:22:58 +0200 | krauss | Added [simp]-lemmas "in_inv_image" and "in_lex_prod" in the spirit of "in_measure". | file | diff | annotate |
| Tue, 07 Mar 2006 16:03:31 +0100 | obua | Added HOL-ZF to Isabelle. | file | diff | annotate |