| Wed, 11 Jul 2007 11:25:21 +0200 | berghofe | bot is now a constant. | changeset | files |
| Wed, 11 Jul 2007 11:24:36 +0200 | berghofe | Restored set notation. | changeset | files |
| Wed, 11 Jul 2007 11:23:24 +0200 | berghofe | - Renamed inductive2 to inductive | changeset | files |
| Wed, 11 Jul 2007 11:22:02 +0200 | aspinall | Track schema changes: remove cleardisplay, proofstate messages. Simplify attributes on cleardisplay, normalresponse. | changeset | files |
| Wed, 11 Jul 2007 11:21:10 +0200 | aspinall | Track schema changes: add area attribute to pgml packet. Also add quoted Raw element [hack for Isabelle bottom-up XML production] | changeset | files |
| Wed, 11 Jul 2007 11:16:34 +0200 | berghofe | Renamed inductive2 to inductive. | changeset | files |
| Wed, 11 Jul 2007 11:14:51 +0200 | berghofe | Adapted to new inductive definition package. | changeset | files |