paper/Paper.thy
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 03 Apr 2014 12:47:07 +0100
changeset 14 23eeaac32d21
parent 10 03c5f0393a2c
permissions -rw-r--r--
some comments

(*<*)
theory Paper
imports "../thys/TM_Assemble"
begin
(*>*)

text {*
  Start paper
*}

(*<*)
end
(*>*)