Revision 7272: /pychinko/pychinko/ut

• ..
• __init__.py
• main.py
• nodetests.py
• prooftests.py
• termtests.py