diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2015-06-03 14:12:06 +0200 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2015-06-03 14:12:06 +0200 |
| commit | 94f6fbed8b04e95446c38d6ea89dcc9c3a64304b (patch) | |
| tree | 6a1054861217dd3b8fde28b153ebf975d0e459e0 /Examples.agda | |
| parent | 884870669c1271742e6f369cc5f2e9af5811e124 (diff) | |
| download | bidiragda-94f6fbed8b04e95446c38d6ea89dcc9c3a64304b.tar.gz | |
rewrite lemma-disjoint-union in a more compositional way
Diffstat (limited to 'Examples.agda')
0 files changed, 0 insertions, 0 deletions