paper/Paper.thy
author wuc
Tue, 20 May 2014 20:21:29 +0800
changeset 21 57d89c29c812
parent 10 03c5f0393a2c
permissions -rw-r--r--
test if can write

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

text {*
  Start paper
*}

(*<*)
end
(*>*)