/src/HOL/TLA/Inc/
drwxr-xr-x [up]
-rw-r--r-- 2004-08-18 11:09 +0200 9536 Inc.ML
-rw-r--r-- 2004-08-18 11:09 +0200 2772 Inc.thy
-rw-r--r-- 2004-08-18 11:09 +0200 363 Pcount.thy
-rw-r--r-- 2004-08-18 11:09 +0200 44 ROOT.ML