1
2 header {* Records \label{sec:records} *}
2 section {* Records \label{sec:records} *}
3
4 (*<*)
5 theory Records imports Main begin
6 (*>*)
7