3 lines
61 B
Text
3 lines
61 B
Text
(library
|
|
(name proof_checker)
|
|
(libraries kernel pfparser))
|
(library
|
|
(name proof_checker)
|
|
(libraries kernel pfparser))
|