2 commits

Author	SHA1	Message	Date
Vincent Laporte	3b7c68615e	abella: fix build with OCaml ≥ 4.03	2017-09-22 03:32:06 +00:00
Ben Darwin	172167c937	new package: abella 2.0.2	2015-03-24 00:54:03 -04:00