forked from Isabelle_DOF/Isabelle_DOF
5 lines
18 B
Plaintext
Executable File
5 lines
18 B
Plaintext
Executable File
output
|
|
.afp
|
|
*~
|
|
*#
|