/src/Sequents/LK/
drwxr-xr-x [up]
-rw-r--r-- 2005-04-30 14:18 +0200 1209 Nat.ML
-rw-r--r-- 2005-04-30 14:18 +0200 788 Nat.thy
-rw-r--r-- 2005-04-30 14:18 +0200 309 ROOT.ML
-rw-r--r-- 2005-04-30 14:18 +0200 9329 hardquant.ML
-rw-r--r-- 2005-04-30 14:18 +0200 3830 prop.ML
-rw-r--r-- 2005-04-30 14:18 +0200 3915 quant.ML