src/HOL/Tools/refute_isar.ML
author haftmann
Wed Dec 08 13:34:50 2010 +0100 (2010-12-08)
changeset 41075 4bed56dc95fb
parent 39048 4006f5c3f421
permissions -rw-r--r--
primitive definitions of bot/top/inf/sup for bool and fun are named with canonical suffix `_def` rather than `_eq`
     1 (*  Title:      HOL/Tools/refute_isar.ML
     2     Author:     Tjark Weber
     3     Copyright   2003-2007
     4 
     5 
     6 end;
     7