HomeIsabelle/Phabricator
Diffusion Isabelle 4c275405faae

isabelle update -u cite;
4c275405faae
Actions

Description

isabelle update -u cite;

Details

Provenance
makariusAuthored on
Parents
rISABELLE1e31ddcab458: clarified treatment of cite macro name;
Branches
Unknown
Tags
Unknown

Changes (102)
Show All Changes

Very Large Commit

This commit is very large. Load each file individually.
PathSize
src/
Doc/
Classes/
Codegen/
Corec/
Datatypes/
Demo_EPTCS/
Demo_Easychair/
Demo_LIPIcs/
Demo_LLNCS/
Eisbach/
Functions/
Implementation/
Isar_Ref/
JEdit/
Locales/
Logics_ZF/
Prog_Prove/
Sugar/
System/
Tutorial/
Advanced/
CTL/
Datatype/
Documents/
Fun/
Inductive/
Protocol/
Types/
Typeclass_Hierarchy/
HOL/
Algebra/
Analysis/
Data_Structures/
Examples/
HOLCF/
IMP/
Hahn_Banach/
Imperative_HOL/
Induct/
Isar_Examples/
Lattice/
Library/
Proofs/
Extraction/
Lambda/
SPARK/
Manual/
Unix/
ex/
Pure/
Examples/
ZF/
Induct/

rISABELLE4c275405faae

View Options

src/Doc/Classes/Classes.thy

View Options

src/Doc/Codegen/Computations.thy

View Options

src/Doc/Codegen/Evaluation.thy

View Options

src/Doc/Codegen/Further.thy

View Options

src/Doc/Codegen/Inductive_Predicate.thy

View Options

src/Doc/Codegen/Introduction.thy

View Options

src/Doc/Codegen/Partial_Functions.thy

View Options

src/Doc/Codegen/Refinement.thy

View Options

src/Doc/Corec/Corec.thy

View Options

src/Doc/Datatypes/Datatypes.thy

View Options

src/Doc/Demo_EPTCS/Document.thy

View Options

src/Doc/Demo_Easychair/Document.thy

View Options

src/Doc/Demo_LIPIcs/Document.thy

View Options

src/Doc/Demo_LLNCS/Document.thy

View Options

src/Doc/Eisbach/Manual.thy

View Options

src/Doc/Eisbach/Preface.thy

View Options

src/Doc/Functions/Functions.thy

View Options

src/Doc/Implementation/Eq.thy

View Options

src/Doc/Implementation/Integration.thy

View Options

src/Doc/Implementation/Isar.thy

View Options

src/Doc/Implementation/Local_Theory.thy

View Options

src/Doc/Implementation/Logic.thy

View Options

src/Doc/Implementation/ML.thy

View Options

src/Doc/Implementation/Prelim.thy

View Options

src/Doc/Implementation/Proof.thy

View Options

src/Doc/Implementation/Syntax.thy

View Options

src/Doc/Isar_Ref/Document_Preparation.thy

View Options

src/Doc/Isar_Ref/First_Order_Logic.thy

View Options

src/Doc/Isar_Ref/Framework.thy

View Options

src/Doc/Isar_Ref/Generic.thy

View Options

src/Doc/Isar_Ref/HOL_Specific.thy

View Options

src/Doc/Isar_Ref/Inner_Syntax.thy

View Options

src/Doc/Isar_Ref/Outer_Syntax.thy

View Options

src/Doc/Isar_Ref/Preface.thy

View Options

src/Doc/Isar_Ref/Proof.thy

View Options

src/Doc/Isar_Ref/Proof_Script.thy

View Options

src/Doc/Isar_Ref/Spec.thy

View Options

src/Doc/JEdit/JEdit.thy

View Options

src/Doc/Locales/Examples.thy

View Options

src/Doc/Locales/Examples3.thy

View Options

src/Doc/Logics_ZF/ZF_Isar.thy

View Options

src/Doc/Prog_Prove/Isar.thy

View Options

src/Doc/Prog_Prove/Logic.thy

View Options

src/Doc/Prog_Prove/Types_and_funs.thy

View Options

src/Doc/Sugar/Sugar.thy

View Options

src/Doc/System/Environment.thy

View Options

src/Doc/System/Scala.thy

View Options

src/Doc/System/Server.thy

View Options

src/Doc/System/Sessions.thy

View Options

src/Doc/Tutorial/Advanced/simp2.thy

View Options

src/Doc/Tutorial/CTL/Base.thy

View Options

src/Doc/Tutorial/CTL/CTL.thy

View Options

src/Doc/Tutorial/CTL/PDL.thy

View Options

src/Doc/Tutorial/Datatype/Nested.thy

View Options

src/Doc/Tutorial/Documents/Documents.thy

View Options

src/Doc/Tutorial/Fun/fun0.thy

View Options

src/Doc/Tutorial/Inductive/AB.thy

View Options

src/Doc/Tutorial/Protocol/NS_Public.thy

View Options

src/Doc/Tutorial/Types/Axioms.thy

View Options

src/Doc/Tutorial/Types/Records.thy

View Options

src/Doc/Tutorial/Types/Typedefs.thy

View Options

src/Doc/Typeclass_Hierarchy/Typeclass_Hierarchy.thy

View Options

src/HOL/Algebra/Group.thy

View Options

src/HOL/Algebra/Multiplicative_Group.thy

View Options

src/HOL/Algebra/Sylow.thy

View Options

src/HOL/Algebra/UnivPoly.thy

View Options

src/HOL/Analysis/Continuous_Extension.thy

View Options

src/HOL/Analysis/Infinite_Sum.thy

View Options

src/HOL/Analysis/Metric_Arith.thy

View Options

src/HOL/Data_Structures/Braun_Tree.thy

View Options

src/HOL/Examples/Cantor.thy

View Options

src/HOL/Examples/Knaster_Tarski.thy

View Options

src/HOL/HOLCF/IMP/HoareEx.thy

View Options

src/HOL/Hahn_Banach/Hahn_Banach.thy

View Options

src/HOL/Imperative_HOL/Overview.thy

View Options

src/HOL/Induct/Comb.thy

View Options

src/HOL/Isar_Examples/Basic_Logic.thy

View Options

src/HOL/Isar_Examples/Fibonacci.thy

View Options

src/HOL/Isar_Examples/Hoare.thy

View Options

src/HOL/Isar_Examples/Mutilated_Checkerboard.thy

View Options

src/HOL/Lattice/CompleteLattice.thy

View Options

src/HOL/Library/BigO.thy

View Options

src/HOL/Library/Code_Lazy.thy

View Options

src/HOL/Library/Poly_Mapping.thy

View Options

src/HOL/Library/Ramsey.thy

View Options

src/HOL/Proofs/Extraction/Euclid.thy

View Options

src/HOL/Proofs/Extraction/Higman.thy

View Options

src/HOL/Proofs/Extraction/Pigeonhole.thy

View Options

src/HOL/Proofs/Extraction/Warshall.thy

View Options

src/HOL/Proofs/Lambda/Eta.thy

View Options

src/HOL/Proofs/Lambda/Standardization.thy

View Options

src/HOL/Proofs/Lambda/StrongNorm.thy

View Options

src/HOL/Proofs/Lambda/WeakNorm.thy

View Options

src/HOL/SPARK/Manual/Example_Verification.thy

View Options

src/HOL/SPARK/Manual/VC_Principles.thy

View Options

src/HOL/Unix/Unix.thy

View Options

src/HOL/ex/CTL.thy

View Options

src/Pure/Examples/Higher_Order_Logic.thy

View Options

src/ZF/Induct/Acc.thy

View Options

src/ZF/Induct/Comb.thy

View Options

src/ZF/Induct/ListN.thy

View Options

src/ZF/Induct/Primrec.thy