/src/HOL/BCV/
drwxr-xr-x [up]
-rw-r--r-- 2000-05-30 18:02 +0200 2431 DFAandWTI.ML
-rw-r--r-- 2000-05-30 18:02 +0200 1165 DFAandWTI.thy
-rw-r--r-- 2000-05-30 18:02 +0200 11132 DFAimpl.ML
-rw-r--r-- 2000-05-30 18:02 +0200 2119 DFAimpl.thy
-rw-r--r-- 2000-05-30 18:02 +0200 4652 Fixpoint.ML
-rw-r--r-- 2000-05-30 18:02 +0200 584 Fixpoint.thy
-rw-r--r-- 2000-05-30 18:02 +0200 3493 Machine.ML
-rw-r--r-- 2000-05-30 18:02 +0200 2754 Machine.thy
-rw-r--r-- 2000-05-30 18:02 +0200 4751 Orders.ML
-rw-r--r-- 2000-05-30 18:02 +0200 788 Orders.thy
-rw-r--r-- 2000-05-30 18:02 +0200 3497 Orders0.ML
-rw-r--r-- 2000-05-30 18:02 +0200 715 Orders0.thy
-rw-r--r-- 2000-05-30 18:02 +0200 1189 Plus.ML
-rw-r--r-- 2000-05-30 18:02 +0200 686 Plus.thy
-rw-r--r-- 2000-05-30 18:02 +0200 411 README.html
-rw-r--r-- 2000-05-30 18:02 +0200 238 ROOT.ML
-rw-r--r-- 2000-05-30 18:02 +0200 4963 SemiLattice.ML
-rw-r--r-- 2000-05-30 18:02 +0200 386 SemiLattice.thy
-rw-r--r-- 2000-05-30 18:02 +0200 878 Types.ML
-rw-r--r-- 2000-05-30 18:02 +0200 245 Types.thy
-rw-r--r-- 2000-05-30 18:02 +0200 753 Types0.ML
-rw-r--r-- 2000-05-30 18:02 +0200 449 Types0.thy