/src/HOL/Decision_Procs/
drwxr-xr-x [up]
-rw-r--r-- 2009-02-17 18:48 +0100 141195 Approximation.thy
-rw-r--r-- 2009-02-17 18:48 +0100 98596 Cooper.thy
-rw-r--r-- 2009-02-17 18:48 +0100 92 Decision_Procs.thy
-rw-r--r-- 2009-02-17 18:48 +0100 48805 Dense_Linear_Order.thy
-rw-r--r-- 2009-02-17 18:48 +0100 96312 Ferrack.thy
-rw-r--r-- 2009-02-17 18:48 +0100 307767 MIR.thy
-rw-r--r-- 2009-02-17 18:48 +0100 27 ROOT.ML
-rw-r--r-- 2009-02-17 18:48 +0100 5347 cooper_tac.ML
-rw-r--r-- 2009-02-17 18:48 +0100 4376 ferrack_tac.ML
-rw-r--r-- 2009-02-17 18:48 +0100 7251 mir_tac.ML