src/HOL/Decision_Procs/ROOT.ML
author haftmann
Mon Apr 26 15:37:50 2010 +0200 (2010-04-26)
changeset 36409 d323e7773aa8
parent 33615 261abc2e3155
permissions -rw-r--r--
use new classes (linordered_)field_inverse_zero
     1 use_thys ["Decision_Procs"];