/Admin/Benchmarks/HOL-datatype/
drwxr-xr-x [up]
-rw-r--r-- 2000-03-24 08:56 +0100 1460 Brackin.thy
-rw-r--r-- 2000-03-24 08:56 +0100 4856 Instructions.thy
-rw-r--r-- 2000-03-24 08:56 +0100 489 IsaMakefile
-rw-r--r-- 2000-03-24 08:56 +0100 406 ROOT.ML
-rw-r--r-- 2000-03-24 08:56 +0100 2364 SML.thy
-rw-r--r-- 2000-03-24 08:56 +0100 4276 Verilog.thy