1.1 --- a/doc-src/isac/mlehnfeld/presentation.tex	Mon May 30 02:04:29 2011 +0200
     1.2 +++ b/doc-src/isac/mlehnfeld/presentation.tex	Mon May 30 11:02:21 2011 +0200
     1.3 @@ -201,7 +201,7 @@
     1.4  %\>fun insert\_environments envs = map (fn t => Env t) envs |> insert\_ctxt;\\
     1.5  %end\\
     1.6  fun insert\_assumptions asms = \\
     1.7 -\>\>\>ContextData\alert{.map} (fn xs => distinct (data@xs));\\
     1.8 +\>\>\>ContextData\alert{.map} (fn xs => distinct (asms@xs));\\
     1.9  \\
    1.10  %local\\
    1.11  %\>fun unpack\_asms (Asm t::ts) = t::(unpack\_asms ts)\\