/Quotient-Paper-jv/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2016-03-22 12:18 +0000 79962 Paper.thy
-rw-r--r-- 2016-03-22 12:18 +0000 196 ROOT.ML
-rw-r--r-- 2016-03-22 12:18 +0000 851 TODO