diff options
| author | Josh Chen | 2019-03-03 22:54:13 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-03-03 22:54:13 +0100 |
| commit | fa4c19c5ddce4d1f2d5ad58170e89cb74cb7f7e1 (patch) | |
| tree | 679258c57d538fb6941f5a4b62080fd0eb01eddc /Type_Families.thy | |
| parent | 3f7a8274271b4920e7eccd6f3b4cd516f6c55bd8 (diff) | |
Removed transport section from Eq.thy
Diffstat (limited to 'Type_Families.thy')
0 files changed, 0 insertions, 0 deletions