/src/HOL/Prolog/
drwxr-xr-x [up]
-rw-r--r-- 2004-08-18 11:09 +0200 430 Func.ML
-rw-r--r-- 2004-08-18 11:09 +0200 1406 Func.thy
-rw-r--r-- 2004-08-18 11:09 +0200 4865 HOHH.ML
-rw-r--r-- 2004-08-18 11:09 +0200 686 HOHH.thy
-rw-r--r-- 2004-08-18 11:09 +0200 403 README.html
-rw-r--r-- 2004-08-18 11:09 +0200 166 ROOT.ML
-rw-r--r-- 2004-08-18 11:09 +0200 2855 Test.ML
-rw-r--r-- 2004-08-18 11:09 +0200 1855 Test.thy
-rw-r--r-- 2004-08-18 11:09 +0200 964 Type.ML
-rw-r--r-- 2004-08-18 11:09 +0200 1179 Type.thy