Mon, 25 Jun 2012 17:41:20 +0200 | wenzelm | tuned proofs -- prefer direct "rotated" instead of old-style COMP; | changeset | files |
Mon, 25 Jun 2012 15:14:07 +0200 | wenzelm | ignore morphism more explicitly; | changeset | files |
Mon, 25 Jun 2012 16:03:21 +0200 | bulwahn | some special code equations for Id with class constraint enum after adding the set comprehension simproc to the code preprocessing | changeset | files |