Fri, 01 Jun 2007 15:20:53 +0200 | krauss | updated | changeset | files |
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 |