changeset 9789 | 7e5e6c47c0b5 |
parent 8444 | 8f8eb220d9aa |
child 14981 | e73f8140af78 |
--- a/lib/scripts/fixdatatype.pl Fri Sep 01 17:50:36 2000 +0200 +++ b/lib/scripts/fixdatatype.pl Fri Sep 01 17:54:58 2000 +0200 @@ -1,5 +1,7 @@ # # $Id$ +# Author: Markus Wenzel, TU Muenchen +# License: GPL (GNU GENERAL PUBLIC LICENSE) # # fixdatatype.pl - adapt theories and proof scripts to new datatype package #