src/HOL/Tools/refute_isar.ML
author wenzelm
Thu Sep 02 17:12:16 2010 +0200 (2010-09-02)
changeset 39048 4006f5c3f421
parent 36960 01594f816e3a
permissions -rw-r--r--
just one refute.ML;
webertj@14350
     1
(*  Title:      HOL/Tools/refute_isar.ML
webertj@14350
     2
    Author:     Tjark Weber
webertj@22092
     3
    Copyright   2003-2007
webertj@14350
     4
webertj@14350
     5
webertj@14350
     6
end;
webertj@14350
     7