src/HOL/Tools/ATP/etc/settings
author haftmann
Wed Dec 08 13:34:50 2010 +0100 (2010-12-08)
changeset 41075 4bed56dc95fb
parent 38049 327705ac4759
child 41308 9e576ec5c0dc
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 ISABELLE_ATP="$COMPONENT"