Theory Spec_Chapter

Up to index of Isabelle/HOL/Collections

theory Spec_Chapter
imports Main

header {*\chapter{Specifications} \label{ch:specs}*}
(*<*)
theory Spec_Chapter imports Main begin end
(*>*)