| Tue, 10 Jul 2007 17:30:47 +0200 | haftmann | moved lfp_induct2 to Relation.thy | file | diff | annotate |
| Wed, 30 May 2007 21:09:12 +0200 | haftmann | generalized lemmas | file | diff | annotate |
| Fri, 25 May 2007 21:08:52 +0200 | haftmann | using rudimentary class target mechanism | file | diff | annotate |