diff options
author | 2004-07-21 18:28:58 +0000 | |
---|---|---|
committer | 2004-07-21 18:28:58 +0000 | |
commit | ad90c5f6a439d8e6981bf84178cdcd48483a3efc (patch) | |
tree | 86445e1b02d87a2047108f2240b47509aefa0507 /tactics/equality.mli | |
parent | 21aeec569d7b4d1feb3e4984e2f1138bd30f1625 (diff) |
Getting ready for an upload to experimental.
Diffstat (limited to 'tactics/equality.mli')
0 files changed, 0 insertions, 0 deletions