HomeIsabelle/Phabricator
Diffusion Isabelle d969474ddc45

merged
d969474ddc45
Actions

Description

merged

Details

Provenance
desharnaAuthored on
Parents
rISABELLEece4f07ebb04: fixed HOL-TPTP
rISABELLE7dbac7d3cdab: missing latex font
Branches
Unknown
Tags
Unknown

Merged Changes

Changes (117)
Show All Changes

Very Large Commit

This commit is very large. Load each file individually.
PathSize
Admin/
Release/
components/
polyml/
etc/
lib/
texinputs/
Doc/
Implementation/
Isar_Ref/
System/
Tutorial/
ToyList/
Analysis/
Bali/
Computational_Algebra/
Eisbach/
document/
Examples/
ex/
Library/
Tools/
Nitpick_Examples/
Tools/
Nitpick/
SMT/
etc/
Admin/
Concurrent/
General/
Isar/
ML/
PIDE/
System/
Thy/
Tools/
Tools/
Code/
Haskell/
jEdit/
src/

rISABELLEd969474ddc45

View Options

Admin/Release/CHECKLIST

View Options

Admin/components/components.sha1

View Options

Admin/components/main

View Options

Admin/polyml/README

View Options

lib/texinputs/isabelle.sty

View Options

src/Doc/Implementation/Logic.thy

View Options

src/Doc/Isar_Ref/Outer_Syntax.thy

View Options

src/Doc/System/Presentation.thy

View Options

src/Doc/System/Sessions.thy

View Options

src/Doc/Tutorial/ToyList/ToyList.thy

View Options

src/HOL/Analysis/Infinite_Set_Sum.thy

View Options

src/HOL/Analysis/Infinite_Sum.thy

View Options

src/HOL/BNF_Def.thy

View Options

src/HOL/Bali/Term.thy

View Options

src/HOL/Computational_Algebra/Factorial_Ring.thy

View Options

src/HOL/Deriv.thy

View Options

src/HOL/Eisbach/match_method.ML

View Options

src/HOL/Equiv_Relations.thy

View Options

src/HOL/Examples/Rewrite_Examples.thy

View Options

src/HOL/Examples/document/root.tex

View Options

src/HOL/Library/Multiset.thy

View Options

src/HOL/Library/Multiset_Order.thy

View Options

src/HOL/Library/Rewrite.thy

View Options

src/HOL/Library/Tools/smt_word.ML

View Options

src/HOL/List.thy

View Options

src/HOL/Map.thy

View Options

src/HOL/Nitpick_Examples/Tests_Nits.thy

View Options

src/HOL/Nitpick_Examples/minipick.ML

View Options

src/HOL/Relation.thy

View Options

src/HOL/Set_Interval.thy

View Options

src/HOL/Tools/Nitpick/kodkod.ML

View Options

src/HOL/Tools/Nitpick/nitpick.ML

View Options

src/HOL/Tools/Nitpick/nitpick_tests.ML

View Options

src/HOL/Tools/SMT/cvc4_interface.ML

View Options

src/HOL/Tools/SMT/smt_config.ML

View Options

src/HOL/Tools/SMT/smt_real.ML

View Options

src/HOL/Tools/SMT/smt_solver.ML

View Options

src/HOL/Tools/SMT/smt_systems.ML

View Options

src/HOL/Tools/SMT/smt_translate.ML

View Options

src/HOL/Tools/SMT/smtlib_interface.ML

View Options

src/HOL/Tools/SMT/verit_proof.ML

View Options

src/HOL/Tools/SMT/z3_interface.ML

View Options

src/HOL/Tools/etc/options

View Options

src/HOL/Tools/try0.ML

View Options

src/HOL/Wellfounded.thy

View Options

src/HOL/ex/Cartouche_Examples.thy

View Options

src/HOL/ex/Rewrite_Examples.thy

View Options

src/Pure/Admin/build_doc.scala

View Options

src/Pure/Admin/build_log.scala

View Options

src/Pure/Admin/build_release.scala

View Options

src/Pure/Admin/build_status.scala

View Options

src/Pure/Admin/build_verit.scala

View Options

src/Pure/Admin/isabelle_cronjob.scala

View Options

src/Pure/Admin/isabelle_devel.scala

View Options

src/Pure/Concurrent/timeout.ML

View Options

src/Pure/General/file.scala

View Options

src/Pure/General/scan.scala

View Options

src/Pure/Isar/args.ML

View Options

src/Pure/Isar/method.ML

View Options

src/Pure/Isar/parse.ML

View Options

src/Pure/Isar/parse.scala

View Options

src/Pure/Isar/token.ML

View Options

src/Pure/Isar/token.scala

View Options

src/Pure/Isar/toplevel.ML

View Options

src/Pure/ML/ml_antiquotations.ML

View Options

src/Pure/ML/ml_statistics.scala

View Options

src/Pure/ML/ml_system.ML

View Options

src/Pure/PIDE/command.ML

View Options

src/Pure/PIDE/markup.ML

View Options

src/Pure/PIDE/markup.scala

View Options

src/Pure/PIDE/rendering.scala

View Options

src/Pure/PIDE/resources.ML

View Options

src/Pure/PIDE/xml.ML

View Options

src/Pure/PIDE/xml.scala

View Options

src/Pure/Pure.thy

View Options

src/Pure/System/options.scala

View Options

src/Pure/System/scala_compiler.ML

View Options

src/Pure/Thy/bibtex.ML

View Options

src/Pure/Thy/document_antiquotations.ML

View Options

src/Pure/Thy/document_build.scala

View Options

src/Pure/Thy/document_output.ML

View Options

src/Pure/Thy/export_theory.scala

View Options

src/Pure/Thy/html.scala

View Options

src/Pure/Thy/latex.ML

View Options

src/Pure/Thy/latex.scala

View Options

src/Pure/Thy/presentation.scala

View Options

src/Pure/Thy/sessions.ML

View Options

src/Pure/Thy/sessions.scala

View Options

src/Pure/Thy/thy_header.ML

View Options

src/Pure/Tools/build.ML

View Options

src/Pure/Tools/build.scala

View Options

src/Pure/Tools/rail.ML

View Options

src/Pure/Tools/scala_project.scala

View Options

src/Pure/Tools/update_cartouches.scala

View Options

src/Pure/Tools/update_comments.scala

View Options

src/Pure/ex/Alternative_Headings.thy

View Options

src/Pure/ex/Alternative_Headings_Examples.thy

View Options

src/Pure/ex/document/root.tex

View Options

src/Pure/library.scala

View Options

src/Pure/pure_syn.ML

View Options

src/Tools/Code/code_target.ML

View Options

src/Tools/Haskell/Haskell.thy

View Options

src/Tools/jEdit/src/jedit_rendering.scala

View Options

src/Tools/quickcheck.ML

View Options

src/Tools/try.ML