lib/Tools/fixdatatype
Thu, 30 Jul 1998 15:49:18 +0200 berghofe Script that adapts theories and proof scripts to new datatype package.
less more (0) tip