| changeset 33820 | 082d9bc6992d |
| parent 33816 | e08c9f755fca |
| child 33821 | ee995d52580d |
| 33816:e08c9f755fca | 33820:082d9bc6992d |
|---|---|
1 (* Title: Tools/Auto_Counterexample.thy |
|
2 Author: Jasmin Blanchette, TU Muenchen |
|
3 |
|
4 Counterexample Search Unit (do not abbreviate!). |
|
5 *) |
|
6 |
|
7 header {* Counterexample Search Unit *} |
|
8 |
|
9 theory Auto_Counterexample |
|
10 imports Pure |
|
11 uses |
|
12 "~~/src/Tools/auto_counterexample.ML" |
|
13 begin |
|
14 |
|
15 end |