| Tue, 28 May 2013 08:36:12 +0200 | blanchet | clean up list of theorems | changeset | files |
| Tue, 28 May 2013 08:36:11 +0200 | blanchet | removed needless comment (yes, sum_case_if is needed) | changeset | files |
| Tue, 28 May 2013 08:29:35 +0200 | nipkow | tuned | changeset | files |
| Mon, 27 May 2013 22:32:28 +0200 | wenzelm | actually test theory Order_Union; | changeset | files |
| Mon, 27 May 2013 22:30:07 +0200 | wenzelm | more direct notation; | changeset | files |
| Mon, 27 May 2013 22:26:08 +0200 | wenzelm | merged | changeset | files |
| Mon, 27 May 2013 22:25:32 +0200 | wenzelm | more literal tokens, e.g. "EX!"; | changeset | files |