diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-06-20 22:31:55 -0700 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-06-20 22:31:55 -0700 |
| commit | 0cf6e55a701a460ac6b28850cd16641b707d3ba8 (patch) | |
| tree | c9071a81c1613cbff811ee1b2a5b29779196ba82 /pkgs/development/python-modules/python-sql | |
| parent | 11e25f1a3e89b9c54778c178f9b113e4b44ac111 (diff) | |
proofgeneral_4_3_pre: Add expression needed for current prooftree
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions