/src/Tools/
drwxr-xr-x [up]
drwxr-xr-x Cache_IO
drwxr-xr-x Code
drwxr-xr-x Compute_Oracle
drwxr-xr-x IsaPlanner
drwxr-xr-x Metis
drwxr-xr-x WWW_Find
drwxr-xr-x jEdit
-rw-r--r-- 2010-03-02 09:54 -0800 788 Code_Generator.thy
-rw-r--r-- 2010-03-02 09:54 -0800 161 README
-rw-r--r-- 2010-03-02 09:54 -0800 4300 atomize_elim.ML
-rw-r--r-- 2010-03-02 09:54 -0800 1585 auto_counterexample.ML
-rw-r--r-- 2010-03-02 09:54 -0800 3025 auto_solve.ML
-rw-r--r-- 2010-03-02 09:54 -0800 8405 coherent.ML
-rw-r--r-- 2010-03-02 09:54 -0800 1025 cong_tac.ML
-rw-r--r-- 2010-03-02 09:54 -0800 20847 eqsubst.ML
-rw-r--r-- 2010-03-02 09:54 -0800 1361 float.ML
-rw-r--r-- 2010-03-02 09:54 -0800 31691 induct.ML
-rw-r--r-- 2010-03-02 09:54 -0800 4360 induct_tacs.ML
-rw-r--r-- 2010-03-02 09:54 -0800 2768 intuitionistic.ML
-rw-r--r-- 2010-03-02 09:54 -0800 1138 more_conv.ML
-rw-r--r-- 2010-03-02 09:54 -0800 23637 nbe.ML
-rw-r--r-- 2010-03-02 09:54 -0800 1586 project_rule.ML
-rw-r--r-- 2010-03-02 09:54 -0800 14314 quickcheck.ML
-rw-r--r-- 2010-03-02 09:54 -0800 2136 random_word.ML
-rw-r--r-- 2010-03-02 09:54 -0800 2739 rat.ML
-rw-r--r-- 2010-03-02 09:54 -0800 2225 value.ML