Tue, 30 Apr 1996 13:40:32 +0200 | clasohm | changed ident_no_colon so that it forbids postfix "=", too | changeset | files |
Tue, 30 Apr 1996 12:40:09 +0200 | clasohm | changed use_thy's behaviour so that if the user specifies a path for a theory | changeset | files |
Tue, 30 Apr 1996 12:03:01 +0200 | clasohm | moved dest_cimplies to drule.ML; added adjust_maxidx | changeset | files |