Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2021
Repository
afp-2021
thys
Public_Announcement_Logic
PAL.thy
Find file
Blame
History
Permalink
new entry "Public Announcement Logic"
· d764bf06a728
Rene Thiemann
authored
Jun 25, 2021
(and sorted ROOTS + removed duplicate entries in ROOTS)
d764bf06a728