Revision 135261929a38832dd063b9d3b277ec3c6f0e2492 authored by Jeroen Ketema on 27 July 2011, 20:54:49 UTC, committed by Jeroen Ketema on 27 July 2011, 20:58:06 UTC
1 parent bb24289
| File | Mode | Size |
|---|---|---|
| lambda_terms | ||
| trs_terms | ||
| .gitignore | -rw-r--r-- | 9 bytes |
| COPYING | -rw-r--r-- | 34.3 KB |
| README | -rw-r--r-- | 1.9 KB |
| anagopos3d.py | -rw-r--r-- | 16.5 KB |
| examples.txt | -rw-r--r-- | 802 bytes |
| operations.py | -rw-r--r-- | 2.5 KB |
| ubigraph.py | -rw-r--r-- | 13.8 KB |
Computing file changes ...
