Revision 1d0fd52b
updated division for Horn clauses
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 1d0fd52b19ee9a83f74337a826945c1e27bb2203 |
| Parent | 14da5302 |
| Child | 22a34b49, 885b2896, 873647ba |
Added by Xavier Thirioux about 3 years ago
updated division for Horn clauses