Rules like SYM do not work with top level binders. What is the recommended way to use them with binders without having to stack up SPEC and GEN?
Thanks, Haitao
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
