diff options
| author | Josh Chen | 2018-08-17 10:48:42 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-17 10:48:42 +0200 |
| commit | 10757b7f628655f962b2dd1c7849c75098320ed1 (patch) | |
| tree | 4289a3f55d6840c9fe2411a501beb63067fb3df3 /HoTT_Methods.thy | |
| parent | a8e645e3a8d6e61bb0353ae6ac430a53811b0d58 (diff) | |
Testing with the new theory
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions