changeset 46879 | a8b1236e0837 |
parent 46585 | f462e49eaf11 |
child 57573 | 2bfbeb0e69cd |
46878:d4fdc61d9336 | 46879:a8b1236e0837 |
---|---|
1 (* Title: HOL/ex/Quickcheck_Lattice_Examples.thy |
1 (* Title: HOL/Quickcheck_Examples/Quickcheck_Lattice_Examples.thy |
2 Author: Lukas Bulwahn |
2 Author: Lukas Bulwahn |
3 Copyright 2010 TU Muenchen |
3 Copyright 2010 TU Muenchen |
4 *) |
4 *) |
5 |
5 |
6 theory Quickcheck_Lattice_Examples |
6 theory Quickcheck_Lattice_Examples |