Wed, 07 Jul 2010 18:17:23 +0200 | berghofe | Boxes may now have different widths. | changeset | files |
Wed, 07 Jul 2010 09:26:54 +0200 | hoelzl | tuned | changeset | files |
Wed, 07 Jul 2010 08:25:23 +0200 | bulwahn | replaced manual derivation of equations for inductive predicates by automatic derivation by inductive_simps | changeset | files |