Summary
- tuned
- allow for a list of vars
- parse var
The file was modified | src/HOL/Types_To_Sets/unoverload_type.ML (diff) |
The file was modified | src/HOL/Types_To_Sets/unoverload_type.ML (diff) |
The file was modified | src/HOL/Types_To_Sets/unoverload_type.ML (diff) |