/src/HOL/Prolog/
drwxr-xr-x [up]
-rw-r--r-- 2005-12-22 00:28 +0100 437 Func.ML
-rw-r--r-- 2005-12-22 00:28 +0100 1608 Func.thy
-rw-r--r-- 2005-12-22 00:28 +0100 5744 HOHH.ML
-rw-r--r-- 2005-12-22 00:28 +0100 855 HOHH.thy
-rw-r--r-- 2005-12-22 00:28 +0100 589 README.html
-rw-r--r-- 2005-12-22 00:28 +0100 166 ROOT.ML
-rw-r--r-- 2005-12-22 00:28 +0100 2895 Test.ML
-rw-r--r-- 2005-12-22 00:28 +0100 2517 Test.thy
-rw-r--r-- 2005-12-22 00:28 +0100 964 Type.ML
-rw-r--r-- 2005-12-22 00:28 +0100 1280 Type.thy