| Thu, 16 Oct 2003 10:32:06 +0200 | paulson | line-breaks; rewording | changeset | files |
| Thu, 16 Oct 2003 10:31:40 +0200 | paulson | partial conversion to Isar scripts | changeset | files |
| 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 |
| Wed, 15 Oct 2003 01:52:47 +0200 | kleing | included \<^sub> in the range of identifier chars | changeset | files |
| Mon, 13 Oct 2003 16:54:20 +0200 | skalberg | Fixed spelling error. | changeset | files |
| Fri, 10 Oct 2003 19:34:28 +0200 | berghofe | Added overview page. | changeset | files |