diff options
author | Josh Chen | 2019-02-11 10:46:16 +0100 |
---|---|---|
committer | Josh Chen | 2019-02-11 10:46:16 +0100 |
commit | da8edcc1162044c33053ea64c4efbd4910b6cec7 (patch) | |
tree | 0321452c742939ed13da1938a6aaa259374253af /HoTT_Methods.thy | |
parent | 91dc4798571fa99d68ced7ba098c958fca94c477 (diff) |
get_this more robust. Functions to convert ML terms and types to strings.
Diffstat (limited to 'HoTT_Methods.thy')
0 files changed, 0 insertions, 0 deletions