/Admin/Benchmarks/HOL-datatype/
drwxr-xr-x [up]
-rw-r--r-- 2010-07-05 15:12 +0200 1246 Brackin.thy
-rw-r--r-- 2010-07-05 15:12 +0200 4650 Instructions.thy
-rw-r--r-- 2010-07-05 15:12 +0200 445 ROOT.ML
-rw-r--r-- 2010-07-05 15:12 +0200 2160 SML.thy
-rw-r--r-- 2010-07-05 15:12 +0200 4067 Verilog.thy