| changeset 14981 | e73f8140af78 |
| parent 9789 | 7e5e6c47c0b5 |
| 14980:267cc670317a | 14981:e73f8140af78 |
|---|---|
1 # |
1 # |
2 # $Id$ |
2 # $Id$ |
3 # Author: Markus Wenzel, TU Muenchen |
3 # Author: Markus Wenzel, TU Muenchen |
4 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
5 # |
4 # |
6 # fixdatatype.pl - adapt theories and proof scripts to new datatype package |
5 # fixdatatype.pl - adapt theories and proof scripts to new datatype package |
7 # |
6 # |
8 |
7 |
9 sub fixdatatype { |
8 sub fixdatatype { |