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;
     1 (*  Title:      HOL/Tools/refute_isar.ML
     2     Author:     Tjark Weber
     3     Copyright   2003-2007
     4 
     5 
     6 end;
     7