aboutsummaryrefslogtreecommitdiff
path: root/spartan/lib
ModeNameSize
-rw-r--r--congruence.ML418logplain
-rw-r--r--elimination.ML898logplain
-rw-r--r--eqsubst.ML16158logplain
-rw-r--r--equality.ML2916logplain
-rw-r--r--focus.ML4601logplain
-rw-r--r--goals.ML7332logplain
-rw-r--r--implicits.ML2344logplain
-rw-r--r--lib.ML3584logplain
-rw-r--r--rewrite.ML17632logplain
-rw-r--r--tactics.ML4846logplain