aboutsummaryrefslogtreecommitdiff
path: root/Projections.thy (follow)
Commit message (Expand)AuthorAgeFilesLines
* touchupsJosh Chen2019-02-231-1/+1
* Method "quantify" converts product inhabitation into Pure universal statement...Josh Chen2019-02-171-2/+2
* Organize this commit as a backup of the work on type inference done so far; l...Josh Chen2019-02-111-22/+24
* RenamingJosh Chen2018-09-191-0/+43