Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2019
Repository
afp-2019
thys
Kleene_Algebra
Omega_Algebra_Models.thy
Find file
Blame
History
Permalink
Fixed a very slow step
· 06c5e4b99081
Lawrence Paulson
authored
Apr 12, 2016
06c5e4b99081