mltt - Isabelle-HoTT - trying to make Isabelle/HoTT work with Isabelle 2021-1

index : Isabelle-HoTT

trying to make Isabelle/HoTT work with Isabelle 2021-1

about summary refs log tree commit diff

path: root/mltt

Mode	Name	Size
d---------	core	626	log plain
d---------	lib	112	log plain

generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 05:01:09 +0000