Wed, 30 May 2001 10:48:59 +0200 | bauerg | injectivity of ^; | changeset | files |
Tue, 29 May 2001 11:43:12 +0200 | paulson | deleted a needless reference to rtrancl_unfold | changeset | files |
Mon, 28 May 2001 18:48:28 +0200 | oheimb | improved handling of space before/after parentheses | changeset | files |
Tue, 22 May 2001 15:15:16 +0200 | berghofe | Inductive characterization of wfrec combinator. | changeset | files |
Tue, 22 May 2001 15:12:11 +0200 | berghofe | Transitive closure is now defined via "inductive". | changeset | files |
Tue, 22 May 2001 15:11:43 +0200 | berghofe | Representing set for type nat is now defined via "inductive". | changeset | files |