Tree @
fb57cb7e-fecf-40f3-afb1-b4cb7466d314/main
(
Download .tar.gz
)
..
FunInd.v
Recdef.v
History of theories
/
funind
@
fb57cb7e-fecf-40f3-afb1-b4cb7466d314/main
New upstream version 8.12.0
Ralf Treinen
3 years ago