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