changeset 47572 | 879f5c76ffb6 |
parent 47568 | b07ae33cc459 |
child 48076 | 34e8b7347dda |
47571:1fef02b93723 | 47572:879f5c76ffb6 |
---|---|
1 use_thys [ |
1 use_thys [ |
2 "Find_Unused_Assms_Examples", |
|
2 "Quickcheck_Examples", |
3 "Quickcheck_Examples", |
3 "Quickcheck_Lattice_Examples" |
4 "Quickcheck_Lattice_Examples" |
4 ]; |
5 ]; |
5 |
6 |
6 if getenv "ISABELLE_GHC" = "" then () |
7 if getenv "ISABELLE_GHC" = "" then () |