src/HOL/Tools/refute_isar.ML
author bulwahn
Fri, 03 Dec 2010 08:40:47 +0100
changeset 40905 647142607448
parent 39048 4006f5c3f421
permissions -rw-r--r--
only handle TimeOut exception if used interactively

(*  Title:      HOL/Tools/refute_isar.ML
    Author:     Tjark Weber
    Copyright   2003-2007


end;