/src/HOL/Tools/Quotient/ Isabelle2014
drwxr-xr-x [up]
-rw-r--r-- 2014-08-18 12:17 +0200 7776 quotient_def.ML
-rw-r--r-- 2014-08-18 12:17 +0200 9897 quotient_info.ML
-rw-r--r-- 2014-08-18 12:17 +0200 25582 quotient_tacs.ML
-rw-r--r-- 2014-08-18 12:17 +0200 27949 quotient_term.ML
-rw-r--r-- 2014-08-18 12:17 +0200 13215 quotient_type.ML