| Tue, 02 Sep 2008 14:10:24 +0200 | wenzelm | added type binding -- generic name bindings; | changeset | files |
| Tue, 02 Sep 2008 14:10:19 +0200 | wenzelm | name/var morphism operates on Name.binding; | changeset | files |
| Tue, 02 Sep 2008 12:07:34 +0200 | haftmann | adapted to class instantiation compliance | changeset | files |
| Mon, 01 Sep 2008 22:10:42 +0200 | nipkow | It appears that the code generator (Stefan's) needs some laws that appear superfluous: {..n} = set ... | changeset | files |
| Mon, 01 Sep 2008 19:17:47 +0200 | nipkow | renamed lemma | changeset | files |
| Mon, 01 Sep 2008 19:17:37 +0200 | nipkow | moved more lemmas here from AFP/Integration/Rats | changeset | files |
| Mon, 01 Sep 2008 19:17:04 +0200 | nipkow | moved lemma into SetInterval where it belongs | changeset | files |