-
Andrei Paskevich authored
- unify Lfunction and Lpredicate (mucho bettar) - separation of prop and fmla - making prop and tvsymbol private aliases of ident
2d3b47ba
- unify Lfunction and Lpredicate (mucho bettar) - separation of prop and fmla - making prop and tvsymbol private aliases of ident