Stiopa Koltsov 7264d40c56 Make isElem, DecEq public, not just export ... ... so they could be used in proof search. Follow-up to #942		2021-01-18 10:37:57 +00:00
..
Elem.idr	Make isElem, DecEq public, not just export	2021-01-18 10:37:57 +00:00
Quantifiers.idr	List-level quantifier conversion to element-level and vice-versa	2021-01-15 18:57:01 +00:00
Views.idr	Add %default total to a few modules	2020-07-07 10:48:23 +01:00