/Admin/Benchmarks/HOL-datatype/
drwxr-xr-x [up]
-rw-r--r-- 2006-01-03 15:44 +0100 1471 Brackin.thy
-rw-r--r-- 2006-01-03 15:44 +0100 4867 Instructions.thy
-rw-r--r-- 2006-01-03 15:44 +0100 489 IsaMakefile
-rw-r--r-- 2006-01-03 15:44 +0100 413 ROOT.ML
-rw-r--r-- 2006-01-03 15:44 +0100 2375 SML.thy
-rw-r--r-- 2006-01-03 15:44 +0100 4287 Verilog.thy