| Thu, 16 Jun 1994 12:06:56 +0200 | wenzelm | base_on: added 'mk_draft' arg; | file | diff | annotate |
| Wed, 01 Jun 1994 15:46:11 +0200 | wenzelm | restored old functor name; | file | diff | annotate |
| Thu, 26 May 1994 13:45:43 +0200 | clasohm | changed syntax of use_string | file | diff | annotate |
| Thu, 19 May 1994 16:30:56 +0200 | wenzelm | (was Thy/read.ML) | file | diff | annotate |