tm2: paper/Paper.thy@0352ad5ee9c5

Mercurial Mercurial > hg > tm2 / file revision

paper/Paper.thy

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Thu, 03 Apr 2014 14:02:58 +0100 (2014-04-03)
changeset 16	0352ad5ee9c5
parent 10	03c5f0393a2c
permissions	-rw-r--r--

added an attempt to change TMs to use FinFuns.

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

text {*
  Start paper
*}

(*<*)
end
(*>*)

tm2