Skip to content
Snippets Groups Projects
user avatar
Lars Hupel authored
Isabelle can't prove termination for those methods which have been
introduced in 61c73029.
c4f8ce7f
History