-
Christophe Rhodes authored
Delete about 120 lines by defining define-prolog-rule to wrap around ADD-RULE. More known lacunae * [A,B] does not parse properly. * quoted tokens confuse the incremental lexer.
ff273ea5
Delete about 120 lines by defining define-prolog-rule to wrap around ADD-RULE. More known lacunae * [A,B] does not parse properly. * quoted tokens confuse the incremental lexer.