aboutsummaryrefslogtreecommitdiff
path: root/spartan/lib/equality.ML (follow)
Commit message (Collapse)AuthorAgeFilesLines
* update for Isabelle2020Josh Chen2020-04-161-1/+1
|
* Brand-spanking new version using Spartan infrastructureJosh Chen2020-04-021-0/+90