diff options
| author | Thomas Bauereiss | 2018-03-21 10:38:46 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-03-21 10:42:50 +0000 |
| commit | 2dcd2d7b77c2c0759791d92114a844b9990d0820 (patch) | |
| tree | 6335ad9dc80a05a32600d2dc7c68421096c53c8d /language/bytecode.ott | |
| parent | e5fc89d249682f8323f987a8275d25403762f658 (diff) | |
Patch AST datatypes in generated Isabelle theories
Deactivate plugins of the datatype package except for the size plugin in order
to keep processing time reasonable. This is currently only needed for the big
AST datatypes, so we just patch this using a sed command.
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions