| Sun, 09 Mar 2014 18:43:38 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sun, 09 Mar 2014 17:43:40 +0100 | wenzelm | unused; | changeset | files |
| Sun, 09 Mar 2014 17:40:02 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 09 Mar 2014 17:37:34 +0100 | wenzelm | more formal read_root; | changeset | files |
| Sun, 09 Mar 2014 17:08:31 +0100 | wenzelm | simplified / modernized hide commands: proper outer parsers and PIDE markup via check; | changeset | files |
| Sun, 09 Mar 2014 17:07:45 +0100 | wenzelm | removed dead code; | changeset | files |
| Sun, 09 Mar 2014 17:02:18 +0100 | wenzelm | check fact names with PIDE markup; | changeset | files |