/src/Sequents/LK/
drwxr-xr-x [up]
-rw-r--r-- 2005-09-18 15:20 +0200 1144 Nat.ML
-rw-r--r-- 2005-09-18 15:20 +0200 880 Nat.thy
-rw-r--r-- 2005-09-18 15:20 +0200 295 ROOT.ML
-rw-r--r-- 2005-09-18 15:20 +0200 9293 hardquant.ML
-rw-r--r-- 2005-09-18 15:20 +0200 3990 prop.ML
-rw-r--r-- 2005-09-18 15:20 +0200 4029 quant.ML