changeset 66646 | 383d8e388d1b |
parent 66628 | a62c0c83feba |
66645:db317febaf0b | 66646:383d8e388d1b |
---|---|
1 (* Title: HOL/Nunchaku/Tools/nunchaku_model.ML |
1 (* Title: HOL/Tools/Nunchaku/nunchaku_model.ML |
2 Author: Jasmin Blanchette, VU Amsterdam |
2 Author: Jasmin Blanchette, VU Amsterdam |
3 Copyright 2015, 2016, 2017 |
3 Copyright 2015, 2016, 2017 |
4 |
4 |
5 Abstract syntax tree for Nunchaku models. |
5 Abstract syntax tree for Nunchaku models. |
6 *) |
6 *) |