Sync with my development repo: Category3: add various rules for limits. RTS: strengthen definition of transformation.
Description
Description
Details
Details
- Provenance
Eugene W. Stark <stark@cs.stonybrook.edu> Authored on - Parents
- rAFP56d5a40ba8fc: adapted to NLists.thy
- Branches
- Unknown
- Tags