merge
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE2413181b10bb: removed hack in Sledgehammer that confuses preplay and gives Sledgehammer a…
rISABELLEe6ae63d1b480: tuned T functions: now 0 if not recursive - Branches
- Unknown
- Tags
Merged Changes
Merged Changes