diff options
| author | Josh Chen | 2020-05-25 16:01:18 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-05-25 16:01:18 +0200 |
| commit | 575e98cac4871f0fdeefa0f5ac75bbba8103e82e (patch) | |
| tree | 02c4ed672816f36475408b99bab5ba0fa4f0cd26 /hott/Nat.thy | |
| parent | 8f47d9f3ca38a3fc2c3c462d1157866081102ce1 (diff) | |
use existing calculation infrastructure for sym and trans
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions