src/HOL/Limited_Sequence.thy
changeset 56792 792dd0e9cebb
parent 55466 786edc984c98
child 58889 5b7a9633cfa8
equal deleted inserted replaced
56791:23883e1879c5 56792:792dd0e9cebb