changeset 62858 | d72a6f9ee690 |
parent 62726 | 5b2a7caa855b |
62857:a8758f47f9e8 | 62858:d72a6f9ee690 |
---|---|
1 (* Title: HOL/Corec_Examples/Tests/Merge_A.thy |
1 (* Title: HOL/Corec_Examples/Tests/Merge_D.thy |
2 Author: Aymeric Bouzy, Ecole polytechnique |
2 Author: Aymeric Bouzy, Ecole polytechnique |
3 Author: Jasmin Blanchette, Inria, LORIA, MPII |
3 Author: Jasmin Blanchette, Inria, LORIA, MPII |
4 Copyright 2015, 2016 |
4 Copyright 2015, 2016 |
5 |
5 |
6 Tests theory merges. |
6 Tests theory merges. |