diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-14 19:42:30 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-14 19:45:02 +0200 |
| commit | 566d649c300b41df3718cd717fee1bf36d4b04cd (patch) | |
| tree | 5b5f377ee2f7b6ec4ad8ef911c59296783313577 /Bidir.agda | |
| parent | b863e05247453f8a55930df5c061c156158eab0c (diff) | |
| download | bidiragda-566d649c300b41df3718cd717fee1bf36d4b04cd.tar.gz | |
\::-subst is a special case of subst-cong
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions