| Thu, 07 Aug 1997 23:32:24 +0200 | berghofe | Index file which is copied to $ISABELLE_BROWSER_INFO | changeset | files |
| Wed, 06 Aug 1997 15:07:53 +0200 | wenzelm | added str_of_classrel; | changeset | files |
| Wed, 06 Aug 1997 15:07:33 +0200 | wenzelm | added "Proving ..." msgs; | changeset | files |