| Fri, 01 Jun 2007 15:18:31 +0200 | krauss | added some bibtex entries | changeset | files |
| Fri, 01 Jun 2007 15:14:05 +0200 | krauss | Added "merge-lemma" about wellfoundedness of unions (useful for some termination proofs) | changeset | files |
| Fri, 01 Jun 2007 15:12:56 +0200 | krauss | Added simp-rules: "R O {} = {}" and "{} O R = {}" | changeset | files |
| Fri, 01 Jun 2007 10:44:31 +0200 | haftmann | rudimenary | changeset | files |