summaryrefslogtreecommitdiffstats
path: root/python/examples/user.py
diff options
context:
space:
mode:
authorFrederic Peters <fpeters@entrouvert.com>2005-01-08 13:53:42 +0000
committerFrederic Peters <fpeters@entrouvert.com>2005-01-08 13:53:42 +0000
commit1507aff943e0907f71413b0dffdd6538fa57f2fc (patch)
treec85d54bad0127ff09a4163c6b9702e6d2cbe560f /python/examples/user.py
parentd433c26a2dd4d89e2f1f709a65d9fbf2b6956737 (diff)
downloadlasso-1507aff943e0907f71413b0dffdd6538fa57f2fc.tar.gz
lasso-1507aff943e0907f71413b0dffdd6538fa57f2fc.tar.xz
lasso-1507aff943e0907f71413b0dffdd6538fa57f2fc.zip
check for identity in build_assertion
Diffstat (limited to 'python/examples/user.py')
0 files changed, 0 insertions, 0 deletions