aboutsummaryrefslogtreecommitdiff
path: root/spartan/core/lib
ModeNameSize
-rw-r--r--cases.ML1136logplain
-rw-r--r--congruence.ML2399logplain
-rw-r--r--elimination.ML1373logplain
-rw-r--r--eqsubst.ML16158logplain
-rw-r--r--equality.ML2931logplain
-rw-r--r--focus.ML4598logplain
-rw-r--r--goals.ML7334logplain
-rw-r--r--implicits.ML2351logplain
-rw-r--r--lib.ML3679logplain
-rw-r--r--rewrite.ML17632logplain
-rw-r--r--tactics.ML8095logplain