aboutsummaryrefslogtreecommitdiff
path: root/spartan/lib/tactics.ML
diff options
context:
space:
mode:
authorJosh Chen2020-05-25 16:27:37 +0200
committerJosh Chen2020-05-25 16:27:37 +0200
commit2f63e165d696688f0fcc721289889a8baa00cc02 (patch)
tree065e93b955c587a407b41c78c33da1347a077b47 /spartan/lib/tactics.ML
parent5e18f1964efca8e73c3bda1967803b6b85feb27c (diff)
slightly nicer homotopy proofs with calculations
Diffstat (limited to 'spartan/lib/tactics.ML')
0 files changed, 0 insertions, 0 deletions