-
Lars Hupel authored
Isabelle can't prove termination for those methods which have been introduced in 61c73029.
Lars Hupel authoredIsabelle can't prove termination for those methods which have been introduced in 61c73029.
String.scala 3.09 KiB
Isabelle can't prove termination for those methods which have been introduced in 61c73029.
Isabelle can't prove termination for those methods which have been introduced in 61c73029.