aboutsummaryrefslogtreecommitdiff
path: root/mltt/core/cases.ML (unfollow)
Commit message (Expand)AuthorFilesLines
2021-01-31rename things + some small changesJosh Chen1-0/+0
2020-06-19reorganizeJosh Chen1-0/+0
2020-05-28case distinctionJosh Chen1-0/+42