| Sun, 09 Feb 2014 13:07:23 +0100 | nipkow | disabled counterexample output for now; confusing because often incorrect | changeset | files |
| Sat, 08 Feb 2014 20:34:10 +0100 | nipkow | more indexing | changeset | files |
| Fri, 07 Feb 2014 22:37:54 +0100 | nipkow | merged | changeset | files |
| Fri, 07 Feb 2014 22:37:43 +0100 | nipkow | indexed document | changeset | files |
| Fri, 07 Feb 2014 17:43:47 +0000 | paulson | Simplified some proofs, deleting a lot of strange unused material at the end of the theory. | changeset | files |
| Fri, 07 Feb 2014 14:18:31 +0100 | nipkow | fight spurious nitpick timeouts | changeset | files |
| Fri, 07 Feb 2014 10:44:04 +0100 | blanchet | reverted a87e49f4336d -- overwriting of data entries yields to merge problems later | changeset | files |
| Fri, 07 Feb 2014 00:48:04 +0100 | blanchet | more docs | changeset | files |
| Fri, 07 Feb 2014 00:19:02 +0100 | blanchet | more docs | changeset | files |
| Fri, 07 Feb 2014 00:12:03 +0100 | blanchet | docs | changeset | files |
| Thu, 06 Feb 2014 23:09:22 +0000 | paulson | tidied | changeset | files |
| Thu, 06 Feb 2014 23:55:00 +0100 | blanchet | docs | changeset | files |
| Thu, 06 Feb 2014 23:42:36 +0100 | blanchet | docs about registering a BNF | changeset | files |
| Thu, 06 Feb 2014 18:31:43 +0100 | nipkow | merged | changeset | files |