aboutsummaryrefslogtreecommitdiff
path: root/spartan/core
ModeNameSize
-rw-r--r--Spartan.thy16054logplain
-rw-r--r--cases.ML1136logplain
-rw-r--r--congruence.ML2399logplain
-rw-r--r--elimination.ML1436logplain
-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.ML8162logplain
-rw-r--r--types.ML743logplain