Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. recovered document via old-style file imports;
  2. clarified session structure;
Changeset 8398:a67735806ba3 by wenzelm:
recovered document via old-style file imports;
The file was modified thys/Probabilistic_System_Zoo/Bool_Bounded_Set.thy (diff)
The file was modified thys/Probabilistic_System_Zoo/Finitely_Bounded_Set_Counterexample.thy (diff)
The file was modified thys/Probabilistic_System_Zoo/Nonempty_Bounded_Set.thy (diff)
The file was modified thys/Probabilistic_System_Zoo/ROOT (diff)
Changeset 8397:79c391b08931 by wenzelm:
clarified session structure;
The file was modified thys/Probabilistic_System_Zoo/ROOT (diff)