/src/HOL/Prolog/
drwxr-xr-x [up]
-rw-r--r-- 2001-12-01 18:52 +0100 293 Func.ML
-rw-r--r-- 2001-12-01 18:52 +0100 1273 Func.thy
-rw-r--r-- 2001-12-01 18:52 +0100 4728 HOHH.ML
-rw-r--r-- 2001-12-01 18:52 +0100 553 HOHH.thy
-rw-r--r-- 2001-12-01 18:52 +0100 403 README.html
-rw-r--r-- 2001-12-01 18:52 +0100 29 ROOT.ML
-rw-r--r-- 2001-12-01 18:52 +0100 2708 Test.ML
-rw-r--r-- 2001-12-01 18:52 +0100 1722 Test.thy
-rw-r--r-- 2001-12-01 18:52 +0100 826 Type.ML
-rw-r--r-- 2001-12-01 18:52 +0100 1046 Type.thy