aboutsummaryrefslogtreecommitdiff
path: root/tests/Schematic_subgoal.thy (follow)
Commit message (Expand)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-07-30 01:03:35 +0000