index
:
Isabelle-HoTT
master
trying to make Isabelle/HoTT work with Isabelle 2021-1
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
spartan
/
data
/
List.thy
blob: 71a879b36ed8e8de22e950b2bd1764ee16dad221 (
plain
)
1
2
3
4
5
6
theory
List
imports
Spartan
begin
end