Summary
- less invasive code_functrans
The file was modified | thys/Constructor_Funs/Test_Constructor_Funs.thy (diff) |
The file was modified | thys/Constructor_Funs/constructor_funs.ML (diff) |
The file was modified | thys/Constructor_Funs/Test_Constructor_Funs.thy (diff) |
The file was modified | thys/Constructor_Funs/constructor_funs.ML (diff) |