| 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 |
| Wed, 11 Jul 2007 11:13:08 +0200 | berghofe | New operations on tuples with specific arities. | changeset | files |