Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2020
Repository
afp-2020
thys
Abstract-Rewriting
Abstract_Rewriting.thy
Find file
Blame
History
Permalink
added trivial lemma about monotonicity of ^^
· 5dd878a5f54a
Rene Thiemann
authored
Oct 10, 2011
5dd878a5f54a