| Mon, 25 Jun 2012 18:21:18 +0200 | wenzelm | merged, resolving conflict with 87c831e30f0a; | changeset | files |
| Mon, 25 Jun 2012 17:50:05 +0200 | wenzelm | eliminated obsolete swap_prems_rl -- rotate_prems usually does the job more directly; | changeset | files |
| Mon, 25 Jun 2012 17:44:16 +0200 | wenzelm | prefer direct rotate_prems over old-style COMP; | changeset | files |
| 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 |
| Mon, 25 Jun 2012 16:03:14 +0200 | bulwahn | adding set comprehension simproc to code generation's preprocessing to generate code for some set comprehensions; | changeset | files |