| Tue, 25 Feb 2014 14:34:18 +0100 | wenzelm | modernized Method.check_name/check_source (with reports) vs. strict Method.the_method (without interning nor reports), e.g. relevant for semantic completion; | changeset | files |
| Tue, 25 Feb 2014 12:53:08 +0100 | wenzelm | optimize special case according to Library.merge (see also 8fbc355100f2); | changeset | files |
| Tue, 25 Feb 2014 11:36:04 +0100 | wenzelm | more positions; | changeset | files |
| Tue, 25 Feb 2014 10:50:12 +0100 | wenzelm | more markup; | changeset | files |
| Tue, 25 Feb 2014 19:07:42 +0100 | kuncar | simplify a proof due to 6c95a39348bd | changeset | files |
| Tue, 25 Feb 2014 19:07:40 +0100 | kuncar | new rule for making rsp theorem more readable | changeset | files |