src/HOL/SPARK/Examples/Liseq/Longest_Increasing_Subsequence.thy
changeset 71751 abf3e80bd815
parent 69605 a96320074298
child 72302 d7d90ed4c74e