6 commits

Author	SHA1	Message	Date
Guillaume Bury	46b621269c	Merlin update	2016-07-08 14:29:36 +02:00
Guillaume Bury	1e2dc299ce	WIP: add dedukti output (not functional yet)	2016-05-20 17:03:22 +02:00
Guillaume Bury	4b51f22464	Changed internal representation of proofs	2015-07-09 16:29:57 +02:00
Guillaume Bury	aee73abd47	Progressing. Conflict clause computing is broken	2014-12-15 17:09:01 +01:00
Guillaume Bury	8e8a592475	Some reorganization of files/folders	2014-12-11 17:02:27 +01:00
Simon Cruanes	30e372d302	moved vec, iheap, etc. from common/ to util/; ... removed dependency of util/ on unix,str	2014-11-04 20:25:26 +01:00