/Admin/Benchmarks/HOL-datatype/
drwxr-xr-x [up]
-rw-r--r-- 1999-07-19 17:21 +0200 1454 Brackin.thy
-rw-r--r-- 1999-07-19 17:21 +0200 4850 Instructions.thy
-rw-r--r-- 1999-07-19 17:21 +0200 239 ROOT.ML
-rw-r--r-- 1999-07-19 17:21 +0200 2360 SML.thy
-rw-r--r-- 1999-07-19 17:21 +0200 4270 Verilog.thy