| Tue, 10 Jul 2007 17:30:50 +0200 | haftmann | moved lfp_induct2 here | file | diff | annotate |
| Fri, 01 Jun 2007 15:12:56 +0200 | krauss | Added simp-rules: "R O {} = {}" and "{} O R = {}" | file | diff | annotate |
| Wed, 24 Jan 2007 17:10:50 +0100 | paulson | some new lemmas | file | diff | annotate |