Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. updated to renamed prefix*
  2. merge
  3. added facts on square-free factorizations
  4. updated to prefix change
  5. Merge
  6. fixed more broken proofs
  7. more renamings
  8. clarified syntax categories;
  9. tuned whitespace;
  10. merged
  11. merged
  12. eliminated definition' and fun' -- standard commands already support cartouches;
  13. updated embedded syntax;
Changeset 6663:5684182be6ca by nipkow:
updated to renamed prefix*
The file was modified thys/AutoFocus-Stream/AF_Stream_Exec.thy (diff)
Changeset 6662:8a9dba9ba7e8 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 6661:14b87c5cbe20 by rene thiemann _rene.thiemann@uibk.ac.at_:
added facts on square-free factorizations
The file was modified thys/Polynomial_Factorization/Square_Free_Factorization.thy (diff)
Changeset 6660:81cac1c1a2c3 by nipkow:
updated to prefix change
The file was modified thys/List-Infinite/ListInf/ListInf_Prefix.thy (diff)
Changeset 6659:6b7038ec00f0 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 6658:01281b88761c by paulson _lp15@cam.ac.uk_:
fixed more broken proofs
The file was modified thys/Ordinary_Differential_Equations/Library/Bounded_Linear_Operator.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Numerics/Runge_Kutta.thy (diff)
Changeset 6657:36f3c91f125d by paulson _lp15@cam.ac.uk_:
more renamings
The file was modified thys/Lower_Semicontinuous/Lower_Semicontinuous.thy (diff)
The file was modified thys/Rank_Nullity_Theorem/Generalizations.thy (diff)
The file was modified thys/Rank_Nullity_Theorem/Miscellaneous.thy (diff)
Changeset 6656:3c8ffb679427 by wenzelm:
clarified syntax categories;
The file was modified thys/Simpl/hoare.ML (diff)
Changeset 6655:6932fa4c22b3 by wenzelm:
tuned whitespace;
The file was modified thys/Simpl/Simpl.thy (diff)
Changeset 6654:c4952ba42476 by wenzelm:
merged
Changeset 6653:ec9dd93c5407 by wenzelm:
merged
Changeset 6652:1ba693c437a6 by wenzelm:
eliminated definition' and fun' -- standard commands already support cartouches;
The file was modified thys/Isabelle_Meta_Model/Init.thy (diff)
The file was modified thys/Isabelle_Meta_Model/document/Rail.thy (diff)
The file was modified thys/Isabelle_Meta_Model/document/root.tex (diff)
The file was modified thys/Isabelle_Meta_Model/isabelle_home/src/HOL/Isabelle_Main0.thy (diff)
The file was modified thys/Isabelle_Meta_Model/meta_isabelle/Meta_Isabelle.thy (diff)
The file was modified thys/Isabelle_Meta_Model/meta_isabelle/Printer_Isabelle.thy (diff)
The file was modified thys/Isabelle_Meta_Model/meta_isabelle/Printer_SML.thy (diff)
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/Core.thy (diff)
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/meta_toy/Parser_META.thy (diff)
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/meta_toy/Printer_META.thy (diff)
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/meta_toy/Printer_Toy.thy (diff)
The file was modified thys/Isabelle_Meta_Model/toy_example/embedding/meta_toy/Printer_Toy_extended.thy (diff)
The file was removedthys/Isabelle_Meta_Model/isabelle_home/src/HOL/Tools/Function/Isabelle_fun.thy
The file was removedthys/Isabelle_Meta_Model/isabelle_home/src/HOL/Tools/Function/Isabelle_function_common.thy
The file was removedthys/Isabelle_Meta_Model/isabelle_home/src/Pure/Isar/Isabelle_isar_syn.thy
The file was removedthys/Isabelle_Meta_Model/isabelle_home/src/Pure/Isar/Isabelle_parse_spec.thy
Changeset 6651:a2ad5416b173 by wenzelm:
updated embedded syntax;
The file was modified thys/Akra_Bazzi/akra_bazzi.ML (diff)
The file was modified thys/Automatic_Refinement/Lib/Mk_Term_Antiquot.thy (diff)
The file was modified thys/Automatic_Refinement/Lib/Mpat_Antiquot.thy (diff)
The file was modified thys/Automatic_Refinement/Lib/Refine_Util.thy (diff)
The file was modified thys/Collections/ICF/tools/ICF_Tools.thy (diff)
The file was modified thys/ConcurrentIMP/mkterm_antiquote.ML (diff)
The file was modified thys/Refine_Monadic/Refine_Automation.thy (diff)