| author | wenzelm |
| Tue, 24 Jul 2012 23:01:55 +0200 | |
| changeset 48494 | 00eb5be9e76b |
| parent 37708 | 694815d76240 |
| child 48624 | 9b71daba4ec7 |
| permissions | -rw-r--r-- |
|
37708
694815d76240
attempt to reconstruct missing HOL/Codegenerator_Test/ROOT.ML;
wenzelm
parents:
diff
changeset
|
1 |
use_thys ["Generate", "Generate_Pretty"]; |