Tue, 10 Jul 2007 17:30:51 +0200 | haftmann | removed proof dependency on transitivity theorems | changeset | files |
Tue, 10 Jul 2007 17:30:50 +0200 | haftmann | moved lfp_induct2 here | changeset | files |
Tue, 10 Jul 2007 17:30:49 +0200 | haftmann | clarified import | changeset | files |