2 commits

Author	SHA1	Message	Date
Leonardo de Moura	cb9830beaf	refactor(library/logic/choice): move prop_decidable instance into namespace 'classical'	2015-08-12 17:06:15 -07:00
Leonardo de Moura	cee9d6b092	feat(library/data/hf): define Hereditarily finite sets	2015-08-11 16:56:06 -07:00