Don't load felscher.lisp.
Unused functionality.
Define a :before auxiliary method.
Dump crud.
Just call it 'BFS'.
'BFS'.
Dump crud.
Cruddumpin'.
Long line comment.
Keyword loop.
Whitespace.
Keyword loop.
Loop can take care of this.
Shorter name.
Shorter name.
Move COPY-SEARCH-TREE-NODE to search.lisp.
Keyword loop.
A list of conceded formulas (common ground).
Pass along the concessions.
Pass along the concessions.