| Fri, 03 Dec 2010 14:39:15 +0100 | haftmann | replaced memb by existing List.member | file | diff | annotate |
| Fri, 03 Dec 2010 14:22:24 +0100 | haftmann | explicit type constraint; | file | diff | annotate |
| Tue, 30 Nov 2010 17:19:11 +0100 | haftmann | adaptions to changes in Equiv_Relation.thy | file | diff | annotate |
| Wed, 24 Nov 2010 19:15:00 +0100 | haftmann | corrected abd4e7358847 where SOMEthing went utterly wrong | file | diff | annotate |
| Mon, 22 Nov 2010 17:46:51 +0100 | haftmann | replaced misleading Fset/fset name -- these do not stand for finite sets | file | diff | annotate |
| Tue, 09 Nov 2010 14:02:13 +0100 | haftmann | more appropriate specification packages; fun_rel_def is no simp rule by default | file | diff | annotate |