Wed, 15 Oct 2003 11:02:28 +0200 | berghofe | Fixed bug in mk_ind_def that caused the inductive definition package to | changeset | files |
Wed, 15 Oct 2003 07:03:43 +0200 | kleing | use \<^isub> and \<^isup> in identifiers instead of just \<^sub> (avoid | changeset | files |
Wed, 15 Oct 2003 01:58:41 +0200 | kleing | allow \<^sub> in identifiers | changeset | files |