| changeset 33821 | ee995d52580d |
| parent 33819 | cad5c38373d8 |
| parent 33820 | 082d9bc6992d |
| child 33822 | e332b08bf0f3 |
| 33819:cad5c38373d8 | 33821:ee995d52580d |
|---|---|
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 |