| Fri, 08 Aug 2008 09:44:16 +0200 | krauss | FundefLib.try_proof : attempt a proof and see if it works | changeset | files |
| Fri, 08 Aug 2008 09:26:15 +0200 | nipkow | added lemmas | changeset | files |
| Thu, 07 Aug 2008 23:56:45 +0200 | wenzelm | inner_syntax markup is back; | changeset | files |
| Thu, 07 Aug 2008 23:32:49 +0200 | wenzelm | disabled inner_syntax markup for now; | changeset | files |
| Thu, 07 Aug 2008 22:32:03 +0200 | wenzelm | added read_token -- with optional YXML encoding of position; | changeset | files |
| Thu, 07 Aug 2008 22:32:01 +0200 | wenzelm | parse_token: use Syntax.read_token, pass full position information; | changeset | files |
| Thu, 07 Aug 2008 21:13:01 +0200 | wenzelm | tuned; | changeset | files |