/src/HOL/Prolog/
drwxr-xr-x [up]
-rw-r--r-- 2000-06-02 12:44 +0200 293 Func.ML
-rw-r--r-- 2000-06-02 12:44 +0200 1273 Func.thy
-rw-r--r-- 2000-06-02 12:44 +0200 4728 HOHH.ML
-rw-r--r-- 2000-06-02 12:44 +0200 553 HOHH.thy
-rw-r--r-- 2000-06-02 12:44 +0200 403 README.html
-rw-r--r-- 2000-06-02 12:44 +0200 29 ROOT.ML
-rw-r--r-- 2000-06-02 12:44 +0200 2708 Test.ML
-rw-r--r-- 2000-06-02 12:44 +0200 1722 Test.thy
-rw-r--r-- 2000-06-02 12:44 +0200 824 Type.ML
-rw-r--r-- 2000-06-02 12:44 +0200 1046 Type.thy