| changeset 33836 | da3e88ea6c72 |
| parent 33835 | d6134fb5a49f |
| parent 33834 | 7c06e19f717c |
| child 33837 | a406f447abef |
--- a/src/Tools/Auto_Counterexample.thy Sat Nov 21 17:35:55 2009 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,15 +0,0 @@ -(* Title: Tools/Auto_Counterexample.thy - Author: Jasmin Blanchette, TU Muenchen - -Counterexample Search Unit (do not abbreviate!). -*) - -header {* Counterexample Search Unit *} - -theory Auto_Counterexample -imports Pure -uses - "~~/src/Tools/auto_counterexample.ML" -begin - -end