Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2020
Repository
afp-2020
thys
BDD
IsaMakefile
Find file
Blame
History
Permalink
re-reverted the accidental revert that happend when devel was
· 87c442481593
lsf37
authored
Jun 12, 2008
accidentally auto-synced back to Isabelle2007.
87c442481593