diff options
| author | krasimir <krasimir@chalmers.se> | 2010-03-15 09:57:39 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-03-15 09:57:39 +0000 |
| commit | dfbc6ba9a33168885310eee8ed2f41845bb78537 (patch) | |
| tree | 38e83447dcedff10e44433c3b8c965cbca02d6c7 /examples/tutorial/syntax/TestIta.gf | |
| parent | 828fc440291f107b6bf2ec5d5dcc8bc58e987a48 (diff) | |
added Equalizers in category-theory
Diffstat (limited to 'examples/tutorial/syntax/TestIta.gf')
0 files changed, 0 insertions, 0 deletions