diff options
author | Josh Chen | 2018-08-17 13:58:26 +0200 |
---|---|---|
committer | Josh Chen | 2018-08-17 13:58:26 +0200 |
commit | 6608e0a3d48aae26f84087da5e4d60da8341bca5 (patch) | |
tree | 7e1127d9c5080042521c716095c4eb6475c30c67 /HoTT_Methods.thy | |
parent | a7806604105ebf09af4237fe338c0cfcf6ebb463 (diff) |
Axiomatizations should be definitions
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions