Loading theory "UPF.Monads"
Found termination order: "(\<lambda>p. length (fst p)) <*mlex*> {}"
Found termination order: "{}"
### theory "UPF.Monads"
### 0.886s elapsed time, 1.360s cpu time, 0.000s GC time
Loading theory "UPF.UPFCore" (required by "UPF.UPF" via "UPF.Normalisation" via "UPF.SeqComposition" via "UPF.ElementaryPolicies")
### theory "UPF.UPFCore"
### 0.971s elapsed time, 1.908s cpu time, 0.248s GC time
isabelle document -d /media/data/jenkins/workspace/isabelle-repo-afp/browser_info/AFP/UPF/document -o pdf -n document
isabelle document -d /media/data/jenkins/workspace/isabelle-repo-afp/browser_info/AFP/UPF/outline -o pdf -n outline -t /proof,/ML
*** Failed to load theory "UPF.ElementaryPolicies" (unresolved "UPF.UPFCore")
*** Failed to load theory "UPF.ParallelComposition" (unresolved "UPF.ElementaryPolicies")
*** Failed to load theory "UPF.SeqComposition" (unresolved "UPF.ElementaryPolicies")
*** Failed to load theory "UPF.Analysis" (unresolved "UPF.ParallelComposition", "UPF.SeqComposition")
*** Failed to load theory "UPF.Normalisation" (unresolved "UPF.ParallelComposition", "UPF.SeqComposition")
*** Failed to load theory "UPF.NormalisationTestSpecification" (unresolved "UPF.Normalisation")
*** Failed to load theory "UPF.UPF" (unresolved "UPF.Analysis", "UPF.Normalisation", "UPF.NormalisationTestSpecification")
*** Failed to load theory "UPF.Service" (unresolved "UPF.UPF")
*** Failed to load theory "UPF.ServiceExample" (unresolved "UPF.Service")
*** Latex error:
***   File `ElementaryPolicies.tex' not found.
*** Latex error (line 112 of "/media/data/jenkins/workspace/isabelle-repo-afp/browser_info/AFP/UPF/outline/root.tex"):
***   Emergency stop.
***   <read *> 
***            
***     \input{ElementaryPolicies}
*** Latex error (line 112 of "/media/data/jenkins/workspace/isabelle-repo-afp/browser_info/AFP/UPF/outline/root.tex"):
***    ==> Fatal error occurred, no output PDF file produced!
*** Failed to build document in "/media/data/jenkins/workspace/isabelle-repo-afp/browser_info/AFP/UPF/outline"
*** Type unification failed: Clash of types "_ set" and "_ \<Rightarrow> _"
*** 
*** Type error in application: incompatible operand type
*** 
*** Operator:  fun_upd ::
***   (??'a \<Rightarrow> ??'b)
***   \<Rightarrow> ??'a
***                 \<Rightarrow> ??'b \<Rightarrow> ??'a \<Rightarrow> ??'b
*** Operand:   \<emptyset> :: ??'c set
*** 
*** At command "lemma" (line 141 of "~~/afp/thys/UPF/UPFCore.thy")