> isabelle: fb5c74a58796 tip > afp: c03838321f2a tip > *** No such file: > "/mnt/home/haftmann/data/tum/isabelle/devel/src/HOL/Probability/Essential_Supremum.thy" > *** The error(s) above occurred for theory "Essential_Supremum" > *** (required by "Probability") (line 15 of > "/mnt/home/haftmann/data/tum/isabelle/devel/src/HOL/Probability/Probability.thy") > *** The error(s) above occurred in session "HOL-Probability" (line 716 of > "/mnt/home/haftmann/data/tum/isabelle/devel/src/HOL/ROOT")
Florian -- PGP available: http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev