/src/HOL/Prolog/
drwxr-xr-x [up]
-rw-r--r-- 2002-06-11 16:43 +0200 477 Func.ML
-rw-r--r-- 2002-06-11 16:43 +0200 1453 Func.thy
-rw-r--r-- 2002-06-11 16:43 +0200 4912 HOHH.ML
-rw-r--r-- 2002-06-11 16:43 +0200 733 HOHH.thy
-rw-r--r-- 2002-06-11 16:43 +0200 403 README.html
-rw-r--r-- 2002-06-11 16:43 +0200 213 ROOT.ML
-rw-r--r-- 2002-06-11 16:43 +0200 2902 Test.ML
-rw-r--r-- 2002-06-11 16:43 +0200 1902 Test.thy
-rw-r--r-- 2002-06-11 16:43 +0200 1011 Type.ML
-rw-r--r-- 2002-06-11 16:43 +0200 1226 Type.thy