Generalised and tidied an intermediate result
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFP9e948a7f35d0: Higher_Order_Terms: add fresh_list function
- Branches
- Unknown
- Tags
Generalised and tidied an intermediate result Tags None Subscribers None |