diff options
| author | Josh Chen | 2019-03-26 17:04:01 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-03-26 17:04:01 +0100 |
| commit | 45c3879db6850282bc067318e31cccf42e60ac8f (patch) | |
| tree | fd7753a339ee8a0e90bb97f80fc4105666ed7288 /hott/Nat.thy | |
| parent | 6dd1b27f7f84b17ad88e5b382042bd0c577a92f4 (diff) | |
working towards biinv_imp_qinv
Diffstat (limited to 'hott/Nat.thy')
0 files changed, 0 insertions, 0 deletions