diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-03-10 09:31:57 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-03-10 09:31:57 +0100 |
| commit | 3532b34beabbaa6967fe660385c4b4036493a8f1 (patch) | |
| tree | a3e9b9bc35c9df934f62bfd4df399c3eda7bd531 /Structures.agda | |
| parent | dab051e89bbe904587a047d239e79610554d5c91 (diff) | |
| download | bidiragda-3532b34beabbaa6967fe660385c4b4036493a8f1.tar.gz | |
port theorem-{1,2} to PartialShapeVec
Diffstat (limited to 'Structures.agda')
0 files changed, 0 insertions, 0 deletions