A bit of new material about type class "infinite", from Eval_FO
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rISABELLE5afbf04418ec: avoid Scala if-expressions and thus make it work both for -new-syntax or -old…
- Branches
- Unknown
- Tags