4 Commits

Author	SHA1	Message	Date
Anthony Scemama	eac877dd44	Removed dead code	2020-02-26 23:30:38 +01:00
Anthony Scemama	2702d3b023	removed eqv -> not	2019-05-15 16:13:41 +02:00
eginer	0b3c2804a2	added check_sym	2019-04-26 17:31:15 +02:00
Anthony Scemama	24d9745056	Initial commit	2019-01-25 11:39:31 +01:00