/src/HOL/Prolog/
drwxr-xr-x [up]
-rw-r--r-- 2005-03-07 19:30 +0100 430 Func.ML
-rw-r--r-- 2005-03-07 19:30 +0100 1406 Func.thy
-rw-r--r-- 2005-03-07 19:30 +0100 4887 HOHH.ML
-rw-r--r-- 2005-03-07 19:30 +0100 686 HOHH.thy
-rw-r--r-- 2005-03-07 19:30 +0100 589 README.html
-rw-r--r-- 2005-03-07 19:30 +0100 166 ROOT.ML
-rw-r--r-- 2005-03-07 19:30 +0100 2855 Test.ML
-rw-r--r-- 2005-03-07 19:30 +0100 1855 Test.thy
-rw-r--r-- 2005-03-07 19:30 +0100 964 Type.ML
-rw-r--r-- 2005-03-07 19:30 +0100 1179 Type.thy