Paper/Paper.thy
author Christian Urban <urbanc@in.tum.de>
Fri, 15 Jan 2010 17:09:36 +0100 (2010-01-15)
changeset 895 92c43c96027e
parent 754 b85875d65b10
child 1473 b4216d0e109a
permissions -rw-r--r--
added a partial proof under which conditions rlam_rec Respects alpha...I guess something like this is true; this means the Hom lemmas need to have preconditions
(*<*)
theory Paper
imports "../Quot/QuotMain"
begin
(*>*)

section {* Introduction *}

text {*
  Here can come any text.

*}

(*<*)
end
(*>*)