on 64571d6 help sign in
1 folder
../ Show/add boolean atoms, boolean functions, boolean function restriction