aboutsummaryrefslogtreecommitdiff
path: root/tests/Schematic_subgoal.thy (follow)
Commit message (Collapse)AuthorAgeFilesLines
* RenameJosh Chen2018-08-181-64/+0
|
* Test theoriesJosh Chen2018-08-181-0/+64
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-19 18:24:40 +0000