diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-04 10:52:49 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-04 10:52:49 +0100 |
| commit | 20c176d383e59a0345f7425c5f14679906159a59 (patch) | |
| tree | a2874cac4922670c6d8e8229c24b56a725c11dda /FreeTheorems.agda | |
| parent | 257665f2910296c6e87113d2f7a418e1f83b33f6 (diff) | |
| download | bidiragda-20c176d383e59a0345f7425c5f14679906159a59.tar.gz | |
add convenience members to PartialVecVec.Get
Diffstat (limited to 'FreeTheorems.agda')
0 files changed, 0 insertions, 0 deletions