Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more symbols;
  2. isabelle update_cartouches -t;
  3. more symbols;
  4. isabelle update_cartouches -t;
  5. more symbols;
  6. more symbols;
  7. isabelle update_cartouches -t;
  8. more symbols;
Changeset 8935:e9f2114df805 by wenzelm:
more symbols;
The file was modified thys/Abortable_Linearizable_Modules/Idempotence.thy (diff)
The file was modified thys/Abs_Int_ITP2012/ACom.thy (diff)
The file was modified thys/Abs_Int_ITP2012/Abs_Int0.thy (diff)
The file was modified thys/Abs_Int_ITP2012/Abs_Int1.thy (diff)
The file was modified thys/Abs_Int_ITP2012/Abs_Int1_const.thy (diff)
The file was modified thys/Abs_Int_ITP2012/Abs_Int3.thy (diff)
The file was modified thys/Abs_Int_ITP2012/Abs_State.thy (diff)
The file was modified thys/Abs_Int_ITP2012/Collecting.thy (diff)
The file was modified thys/Abstract-Hoare-Logics/Proc/PHoareTotal.thy (diff)
The file was modified thys/Abstract-Hoare-Logics/Proc/PLang.thy (diff)
The file was modified thys/Abstract-Hoare-Logics/Procs/PsHoareTotal.thy (diff)
The file was modified thys/Abstract-Hoare-Logics/Procs/PsLang.thy (diff)
The file was modified thys/Abstract-Hoare-Logics/While/Lang.thy (diff)
The file was modified thys/ArrowImpossibilityGS/Thys/Arrow_Order.thy (diff)
The file was modified thys/ArrowImpossibilityGS/Thys/Arrow_Utility.thy (diff)
The file was modified thys/Automatic_Refinement/Lib/Misc.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Chinese_Remainder_Poly.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Unique_Factorization_Poly.thy (diff)
The file was modified thys/BinarySearchTree/BinaryTree.thy (diff)
The file was modified thys/BinarySearchTree/BinaryTree_Map.thy (diff)
The file was modified thys/BinarySearchTree/BinaryTree_TacticStyle.thy (diff)
The file was modified thys/CRDT/RGA.thy (diff)
The file was modified thys/Case_Labeling/Examples/Hoare/Labeled_Hoare_Examples.thy (diff)
The file was modified thys/Case_Labeling/casify.ML (diff)
The file was modified thys/FileRefinement/FileRefinement.thy (diff)
The file was modified thys/Finite_Automata_HF/Finite_Automata_HF.thy (diff)
The file was modified thys/FunWithFunctions/FunWithFunctions.thy (diff)
The file was modified thys/FunWithTilings/Tilings.thy (diff)
The file was modified thys/Gauss_Jordan/IArray_Addenda.thy (diff)
The file was modified thys/GraphMarkingIBP/SetMark.thy (diff)
The file was modified thys/Group-Ring-Module/Algebra8.thy (diff)
The file was modified thys/HotelKeyCards/Equivalence.thy (diff)
The file was modified thys/HotelKeyCards/Trace.thy (diff)
The file was modified thys/Inductive_Confidentiality/DolevYao/Event.thy (diff)
The file was modified thys/Inductive_Confidentiality/DolevYao/Message.thy (diff)
The file was modified thys/Inductive_Confidentiality/DolevYao/Public.thy (diff)
The file was modified thys/Inductive_Confidentiality/GeneralAttacker/EventGA.thy (diff)
The file was modified thys/Inductive_Confidentiality/GeneralAttacker/MessageGA.thy (diff)
The file was modified thys/Inductive_Confidentiality/GeneralAttacker/PublicGA.thy (diff)
The file was modified thys/Iptables_Semantics/Primitive_Matchers/Interface_Replace.thy (diff)
The file was modified thys/Jinja/BV/SemiType.thy (diff)
The file was modified thys/Jinja/DFA/Semilat.thy (diff)
The file was modified thys/JinjaThreads/BV/TF_JVM.thy (diff)
The file was modified thys/JinjaThreads/Common/SemiType.thy (diff)
The file was modified thys/LatticeProperties/WellFoundedTransitive.thy (diff)
The file was modified thys/List-Index/List_Index.thy (diff)
The file was modified thys/Nominal2/nominal_dt_alpha.ML (diff)
The file was modified thys/Nominal2/nominal_inductive.ML (diff)
The file was modified thys/NormByEval/NBE.thy (diff)
The file was modified thys/PseudoHoops/PseudoHoopFilters.thy (diff)
The file was modified thys/PseudoHoops/PseudoHoops.thy (diff)
The file was modified thys/RSAPSS/WordOperations.thy (diff)
The file was modified thys/RSAPSS/Wordarith.thy (diff)
The file was modified thys/Ramsey-Infinite/Ramsey.thy (diff)
The file was modified thys/Regex_Equivalence/Deriv_Autos.thy (diff)
The file was modified thys/Regular-Sets/Regular_Set.thy (diff)
The file was modified thys/Shivers-CFA/SetMap.thy (diff)
The file was modified thys/Simpl/Hoare.thy (diff)
The file was modified thys/Splay_Tree/Splay_Tree.thy (diff)
The file was modified thys/Statecharts/HASem.thy (diff)
The file was modified thys/Statecharts/Kripke.thy (diff)
The file was modified thys/TLA/Intensional.thy (diff)
The file was modified thys/UPF_Firewall/FWNormalisation/NormalisationGenericProofs.thy (diff)
The file was modified thys/Vickrey_Clarke_Groves/CombinatorialAuction.thy (diff)
The file was modified thys/Vickrey_Clarke_Groves/MiscTools.thy (diff)
The file was modified thys/Word_Lib/Word_Enum.thy (diff)
Changeset 8934:e0106cdf1245 by wenzelm:
isabelle update_cartouches -t;
The file was modified thys/MiniML/Type.thy (diff)
The file was modified thys/MiniML/W.thy (diff)
Changeset 8933:c55676035f2c by wenzelm:
more symbols;
The file was modified thys/MiniML/Generalize.thy (diff)
The file was modified thys/MiniML/Instance.thy (diff)
The file was modified thys/MiniML/Maybe.thy (diff)
The file was modified thys/MiniML/MiniML.thy (diff)
The file was modified thys/MiniML/Type.thy (diff)
The file was modified thys/MiniML/W.thy (diff)
Changeset 8932:cc385ed4aa7f by wenzelm:
isabelle update_cartouches -t;
The file was modified thys/Functional-Automata/Execute.thy (diff)
Changeset 8931:3a2a1dee2ced by wenzelm:
more symbols;
The file was modified thys/Functional-Automata/AutoMaxChop.thy (diff)
The file was modified thys/Functional-Automata/AutoProj.thy (diff)
The file was modified thys/Functional-Automata/Automata.thy (diff)
The file was modified thys/Functional-Automata/DA.thy (diff)
The file was modified thys/Functional-Automata/MaxChop.thy (diff)
The file was modified thys/Functional-Automata/MaxPrefix.thy (diff)
The file was modified thys/Functional-Automata/NA.thy (diff)
The file was modified thys/Functional-Automata/NAe.thy (diff)
The file was modified thys/Functional-Automata/RegExp2NA.thy (diff)
The file was modified thys/Functional-Automata/RegExp2NAe.thy (diff)
The file was modified thys/Functional-Automata/RegSet_of_nat_DA.thy (diff)
Changeset 8930:4e2c42a82425 by wenzelm:
more symbols;
The file was modified thys/Flyspeck-Tame/ArchCompAux.thy (diff)
The file was modified thys/Flyspeck-Tame/ArchCompProps.thy (diff)
The file was modified thys/Flyspeck-Tame/ArchStat.thy (diff)
The file was modified thys/Flyspeck-Tame/Completeness.thy (diff)
The file was modified thys/Flyspeck-Tame/Enumerator.thy (diff)
The file was modified thys/Flyspeck-Tame/EnumeratorProps.thy (diff)
The file was modified thys/Flyspeck-Tame/FaceDivisionProps.thy (diff)
The file was modified thys/Flyspeck-Tame/Generator.thy (diff)
The file was modified thys/Flyspeck-Tame/GeneratorProps.thy (diff)
The file was modified thys/Flyspeck-Tame/Graph.thy (diff)
The file was modified thys/Flyspeck-Tame/GraphProps.thy (diff)
The file was modified thys/Flyspeck-Tame/Invariants.thy (diff)
The file was modified thys/Flyspeck-Tame/ListAux.thy (diff)
The file was modified thys/Flyspeck-Tame/ListSum.thy (diff)
The file was modified thys/Flyspeck-Tame/LowerBound.thy (diff)
The file was modified thys/Flyspeck-Tame/Maps.thy (diff)
The file was modified thys/Flyspeck-Tame/PlaneGraphIso.thy (diff)
The file was modified thys/Flyspeck-Tame/PlaneProps.thy (diff)
The file was modified thys/Flyspeck-Tame/Quasi_Order.thy (diff)
The file was modified thys/Flyspeck-Tame/RTranCl.thy (diff)
The file was modified thys/Flyspeck-Tame/ScoreProps.thy (diff)
The file was modified thys/Flyspeck-Tame/Tame.thy (diff)
The file was modified thys/Flyspeck-Tame/TameEnum.thy (diff)
The file was modified thys/Flyspeck-Tame/TameProps.thy (diff)
The file was modified thys/Flyspeck-Tame/Worklist.thy (diff)
Changeset 8929:8951bf82759e by wenzelm:
isabelle update_cartouches -t;
The file was modified thys/Lower_Semicontinuous/Lower_Semicontinuous.thy (diff)
Changeset 8928:8223845ea6d0 by wenzelm:
more symbols;
The file was modified thys/Lower_Semicontinuous/Lower_Semicontinuous.thy (diff)