| Mon, 26 Apr 2010 14:44:41 +0200 | wenzelm | removed unused AxClass.class_intros; | changeset | files |
| Mon, 26 Apr 2010 11:20:18 +0200 | wenzelm | updated Sign.add_type_abbrev; | changeset | files |
| Mon, 26 Apr 2010 07:47:18 +0200 | haftmann | merged | changeset | files |
| Sun, 25 Apr 2010 08:25:34 +0200 | haftmann | field_simps as named theorems | changeset | files |
| Sun, 25 Apr 2010 23:26:40 +0200 | wenzelm | merged | changeset | files |
| Sun, 25 Apr 2010 10:23:03 -0700 | huffman | generalize more constants and lemmas | changeset | files |
| Sun, 25 Apr 2010 09:01:03 -0700 | huffman | simplify types of path operations (use real instead of real^1) | changeset | files |