aboutsummaryrefslogtreecommitdiff
path: root/spartan/core/elaborated_assumption.ML (follow)
Commit message (Expand)AuthorAgeFilesLines
* New `assuming` proof command for elaborated assumptionsJosh Chen2020-07-281-0/+447
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-15 00:43:33 +0000