aboutsummaryrefslogtreecommitdiff
path: root/tests/Subgoal.thy (unfollow)
Commit message (Expand)AuthorFilesLines
2018-08-18Reorganize methodsJosh Chen1-6/+6
2018-08-18Regrouping type rulesJosh Chen1-9/+1
2018-08-18Comments on subgoal test theoryJosh Chen1-23/+29
2018-08-18RenameJosh Chen1-1/+2
2018-08-18Test theoriesJosh Chen1-0/+64