Skip to content
GitLab
Explore
Sign in
Mathias Fleury
Isafol-clone
Repository
isafol-clone
lib
Explorer.thy
Find file
Blame
History
Permalink
Explorer: add same text as printed by Isabelle before skeleton
· a9510b1a
Mathias Fleury
authored
Jan 23, 2019
a9510b1a