diff options
| author | lianah <lianahady@gmail.com> | 2013-10-09 13:48:26 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2013-10-09 13:48:26 -0400 |
| commit | 08c8433e4ab849024930a8c4dbe8756e13d08099 (patch) | |
| tree | 2515d746c9b190e8770c5c690046410449900d7a /INSTALL | |
| parent | 000f574406c29df4c60947169ef527ee5316beb7 (diff) | |
fixed uf proof bug: now storing deleted theory lemmas
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions