merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEfbc1d5ff3683: afford more reactive input;
rISABELLE590608c05386: enabled FOOL for E - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- 590608c05386 enabled FOOL for EAuthor
- 611f4ef94901 tuned lambda translation for foolAuthor
- e05b77e1ab21 proper parsing of type encoding;Author
- d02f91543bf1 mergedAuthor