aboutsummaryrefslogtreecommitdiff
path: root/spartan/core
ModeNameSize
-rw-r--r--Spartan.thy15624logplain
-rw-r--r--congruence.ML418logplain
-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.ML8489logplain