doc-src/IsarAdvanced/Codegen/Thy/Program.thy
Wed, 04 Feb 2009 10:59:31 +0100 haftmann proper datatype abstraction example
less more (0) -10 -1 tip