4 lines
51 B
Plaintext
4 lines
51 B
Plaintext
(rocq.theory
|
|
(name LambdaSub)
|
|
(theories Stdlib))
|
(rocq.theory
|
|
(name LambdaSub)
|
|
(theories Stdlib))
|