Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. merge from AFP 2024 (manually removed web/naproche... on conflicting merge)
  2. metadata and sitegen for AutoCorres2
  3. new entry: AutoCorres2
  4. merge from AFP 2024
  5. import of 106668449b18 from AFP-devel (required for upcoming submission)
  6. import of bdfb44a7a3a9 from AFP-devel (required for upcoming submission)
  7. adjust Derandomization_Conditional_Expectations from 2023 to 2024-RC2
  8. merge from AFP 2023
  9. added missing files (oops)
  10. sitegen for Derandomization_Conditional_Expectations
  11. new entry: Derandomization_Conditional_Expectations
  12. merge from afp-2023
  13. Oops forgot the most important page!
  14. sitegen for Picks_Theorem
  15. A new contribution: Pick's theorem
  16. set version to 2024
  17. avoid luatex85.sty --- make it work with Ubuntu 24.04;
  18. proper LaTeX --- make it work with Ubuntu 24.04;
  19. do not touch obsolete macros --- make it work with Ubuntu 24.04;
  20. Removed obsolete LaTeX commands.
Changeset 14348:f0b0487b1f5e by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP 2024 (manually removed web/naproche... on conflicting merge)
Changeset 14347:c8a79899a2a8 by rene thiemann _rene.thiemann@uibk.ac.at_:
metadata and sitegen for AutoCorres2
The file was addedmetadata/entries/AutoCorres2.toml
The file was addedweb/authors/brecknell/index.html
The file was addedweb/authors/brecknell/index.xml
The file was addedweb/authors/greenaway/index.html
The file was addedweb/authors/greenaway/index.xml
The file was addedweb/authors/norrish/index.html
The file was addedweb/authors/norrish/index.xml
The file was addedweb/authors/tuch/index.html
The file was addedweb/authors/tuch/index.xml
The file was addedweb/entries/AutoCorres2.html
The file was addedweb/sessions/autocorres2/index.html
The file was addedweb/sessions/autocorres2_main/index.html
The file was addedweb/sessions/autocorres2_test/index.html
The file was addedweb/sessions/naproche-test/index.html
The file was addedweb/sessions/naproche/index.html
The file was modified metadata/authors.toml
The file was modified web/authors/hoelzl/index.html
The file was modified web/authors/hoelzl/index.xml
The file was modified web/authors/immler/index.html
The file was modified web/authors/immler/index.xml
The file was modified web/authors/index.html
The file was modified web/authors/index.json
The file was modified web/authors/index.xml
The file was modified web/authors/klein/index.html
The file was modified web/authors/klein/index.xml
The file was modified web/authors/kolanski/index.html
The file was modified web/authors/kolanski/index.xml
The file was modified web/authors/lim/index.html
The file was modified web/authors/lim/index.xml
The file was modified web/authors/schirmer/index.html
The file was modified web/authors/schirmer/index.xml
The file was modified web/authors/sewell/index.html
The file was modified web/authors/sewell/index.xml
The file was modified web/authors/wimmer/index.html
The file was modified web/authors/wimmer/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/index.html
The file was modified web/dependencies/index.xml
The file was modified web/dependencies/simpl/index.html
The file was modified web/dependencies/simpl/index.xml
The file was modified web/dependencies/universal_hash_families/index.html
The file was modified web/dependencies/universal_hash_families/index.xml
The file was modified web/dependencies/word_lib/index.html
The file was modified web/dependencies/word_lib/index.xml
The file was modified web/entries/Derandomization_Conditional_Expectations.html
The file was modified web/entries/Simpl.html
The file was modified web/entries/Universal_Hash_Families.html
The file was modified web/entries/Word_Lib.html
The file was modified web/entries/index.html
The file was modified web/entries/index.xml
The file was modified web/index.html
The file was modified web/index.json
The file was modified web/index.xml
The file was modified web/sessions/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/topics/computer-science/index.xml
The file was modified web/topics/computer-science/programming-languages/language-definitions/index.html
The file was modified web/topics/computer-science/programming-languages/language-definitions/index.xml
The file was modified web/topics/computer-science/programming-languages/logics/index.html
The file was modified web/topics/computer-science/programming-languages/logics/index.xml
The file was modified web/topics/computer-science/semantics-and-reasoning/index.html
The file was modified web/topics/computer-science/semantics-and-reasoning/index.xml
The file was modified web/topics/index.html
The file was modified web/topics/index.xml
The file was modified web/topics/tools/index.html
The file was modified web/topics/tools/index.xml
Changeset 14346:00bae104aac9 by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry: AutoCorres2
The file was addedthys/AutoCorres2/AbstractArrays.thy
The file was addedthys/AutoCorres2/AutoCorres.thy
The file was addedthys/AutoCorres2/AutoCorresSimpset.thy
The file was addedthys/AutoCorres2/AutoCorres_Base.thy
The file was addedthys/AutoCorres2/CCorresE.thy
The file was addedthys/AutoCorres2/ChangeLog
The file was addedthys/AutoCorres2/CorresXF.thy
The file was addedthys/AutoCorres2/ExceptionRewrite.thy
The file was addedthys/AutoCorres2/HeapLift.thy
The file was addedthys/AutoCorres2/In_Out_Parameters.thy
The file was addedthys/AutoCorres2/Introduction_AutoCorres2.thy
The file was addedthys/AutoCorres2/L1Defs.thy
The file was addedthys/AutoCorres2/L1Peephole.thy
The file was addedthys/AutoCorres2/L1Valid.thy
The file was addedthys/AutoCorres2/L2Defs.thy
The file was addedthys/AutoCorres2/L2ExceptionRewrite.thy
The file was addedthys/AutoCorres2/L2Peephole.thy
The file was addedthys/AutoCorres2/LICENSES/BSD-2-Clause.txt
The file was addedthys/AutoCorres2/LICENSES/BSD-3-Clause.txt
The file was addedthys/AutoCorres2/LICENSES/CC-BY-SA-4.0.txt
The file was addedthys/AutoCorres2/LICENSES/HPND.txt
The file was addedthys/AutoCorres2/LICENSES/SMLNJ.txt
The file was addedthys/AutoCorres2/LocalVarExtract.thy
The file was addedthys/AutoCorres2/NEWS
The file was addedthys/AutoCorres2/Polish.thy
The file was addedthys/AutoCorres2/README.md
The file was addedthys/AutoCorres2/ROOT
The file was addedthys/AutoCorres2/Refines_Spec.thy
The file was addedthys/AutoCorres2/Runs_To_VCG_StackPointer.thy
The file was addedthys/AutoCorres2/SimplBucket.thy
The file was addedthys/AutoCorres2/SimplConv.thy
The file was addedthys/AutoCorres2/Split_Heap.thy
The file was addedthys/AutoCorres2/Stack_Typing.thy
The file was addedthys/AutoCorres2/TypHeapSimple.thy
The file was addedthys/AutoCorres2/TypeStrengthen.thy
The file was addedthys/AutoCorres2/WordAbstract.thy
The file was addedthys/AutoCorres2/WordPolish.thy
The file was addedthys/AutoCorres2/ac_names.ML
The file was addedthys/AutoCorres2/autocorres.ML
The file was addedthys/AutoCorres2/autocorres_data.ML
The file was addedthys/AutoCorres2/autocorres_options.ML
The file was addedthys/AutoCorres2/autocorres_trace.ML
The file was addedthys/AutoCorres2/autocorres_util.ML
The file was addedthys/AutoCorres2/c-parser/Absyn-CType.ML
The file was addedthys/AutoCorres2/c-parser/Absyn-Expr.ML
The file was addedthys/AutoCorres2/c-parser/Absyn-Serial.ML
The file was addedthys/AutoCorres2/c-parser/Absyn-StmtDecl.ML
The file was addedthys/AutoCorres2/c-parser/Absyn.ML
The file was addedthys/AutoCorres2/c-parser/Array_Selectors.thy
The file was addedthys/AutoCorres2/c-parser/Binaryset.ML
The file was addedthys/AutoCorres2/c-parser/CLanguage.thy
The file was addedthys/AutoCorres2/c-parser/CLocals.thy
The file was addedthys/AutoCorres2/c-parser/CProof.thy
The file was addedthys/AutoCorres2/c-parser/CTranslation.thy
The file was addedthys/AutoCorres2/c-parser/CTranslationInfrastructure.thy
The file was addedthys/AutoCorres2/c-parser/CTranslationSetup.thy
The file was addedthys/AutoCorres2/c-parser/Feedback.ML
The file was addedthys/AutoCorres2/c-parser/FunctionalRecordUpdate.ML
The file was addedthys/AutoCorres2/c-parser/General.ML
The file was addedthys/AutoCorres2/c-parser/HPInter.ML
The file was addedthys/AutoCorres2/c-parser/INSTALL
The file was addedthys/AutoCorres2/c-parser/IndirectCalls.thy
The file was addedthys/AutoCorres2/c-parser/MANIFEST
The file was addedthys/AutoCorres2/c-parser/MString.ML
The file was addedthys/AutoCorres2/c-parser/MemoryModelExtras-sig.ML
The file was addedthys/AutoCorres2/c-parser/MemoryModelExtras.ML
The file was addedthys/AutoCorres2/c-parser/ModifiesProofs.thy
The file was addedthys/AutoCorres2/c-parser/PackedTypes.thy
The file was addedthys/AutoCorres2/c-parser/PrettyProgs.thy
The file was addedthys/AutoCorres2/c-parser/RELEASES
The file was addedthys/AutoCorres2/c-parser/ROOT
The file was addedthys/AutoCorres2/c-parser/Region.ML
The file was addedthys/AutoCorres2/c-parser/RegionExtras.ML
The file was addedthys/AutoCorres2/c-parser/SourceFile.ML
The file was addedthys/AutoCorres2/c-parser/SourcePos.ML
The file was addedthys/AutoCorres2/c-parser/StaticFun.thy
The file was addedthys/AutoCorres2/c-parser/StrictC.grm
The file was addedthys/AutoCorres2/c-parser/StrictC.grm.sig
The file was addedthys/AutoCorres2/c-parser/StrictC.grm.sml
The file was addedthys/AutoCorres2/c-parser/StrictC.lex
The file was addedthys/AutoCorres2/c-parser/StrictC.lex.sml
The file was addedthys/AutoCorres2/c-parser/StrictCParser.ML
The file was addedthys/AutoCorres2/c-parser/Target-generic32.ML
The file was addedthys/AutoCorres2/c-parser/TargetNumbers-sig.ML
The file was addedthys/AutoCorres2/c-parser/Target_Architecture.thy
The file was addedthys/AutoCorres2/c-parser/UMM.thy
The file was addedthys/AutoCorres2/c-parser/UMM_Proofs.ML
The file was addedthys/AutoCorres2/c-parser/UMM_termstypes.ML
The file was addedthys/AutoCorres2/c-parser/array_selectors.ML
The file was addedthys/AutoCorres2/c-parser/basics.ML
The file was addedthys/AutoCorres2/c-parser/cached_theory_simproc.ML
The file was addedthys/AutoCorres2/c-parser/calculate_state.ML
The file was addedthys/AutoCorres2/c-parser/complit.ML
The file was addedthys/AutoCorres2/c-parser/doc/ctranslation.bib
The file was addedthys/AutoCorres2/c-parser/doc/ctranslation_body.tex
The file was addedthys/AutoCorres2/c-parser/ex.c
The file was addedthys/AutoCorres2/c-parser/expression_translation.ML
The file was addedthys/AutoCorres2/c-parser/expression_typing.ML
The file was addedthys/AutoCorres2/c-parser/globalmakevars
The file was addedthys/AutoCorres2/c-parser/heapstatetype.ML
The file was addedthys/AutoCorres2/c-parser/hp_termstypes.ML
The file was addedthys/AutoCorres2/c-parser/isa_termstypes.ML
The file was addedthys/AutoCorres2/c-parser/isar_install.ML
The file was addedthys/AutoCorres2/c-parser/modifies_proofs.ML
The file was addedthys/AutoCorres2/c-parser/name_generation.ML
The file was addedthys/AutoCorres2/c-parser/positional_symbol_table.ML
The file was addedthys/AutoCorres2/c-parser/program_analysis.ML
The file was addedthys/AutoCorres2/c-parser/recursive_records/recursive_record_package.ML
The file was addedthys/AutoCorres2/c-parser/recursive_records/recursive_record_pp.ML
The file was addedthys/AutoCorres2/c-parser/shorten_names.ML
The file was addedthys/AutoCorres2/c-parser/static-fun.ML
The file was addedthys/AutoCorres2/c-parser/stmt_translation.ML
The file was addedthys/AutoCorres2/c-parser/syntax_transforms.ML
The file was addedthys/AutoCorres2/c-parser/termstypes-sig.ML
The file was addedthys/AutoCorres2/c-parser/termstypes.ML
The file was addedthys/AutoCorres2/c-parser/tools/mllex/mllex.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/mlyacclib/MLY_base-sig.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/mlyacclib/MLY_join.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/mlyacclib/MLY_lrtable.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/mlyacclib/MLY_parser2.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/mlyacclib/MLY_stream.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/FILES
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/README
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/absyn-sig.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/absyn.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/core.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/coreutils.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/grammar.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/graph.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/hdr.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/lalr.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/link.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/look.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/mklrtable.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/mkprstruct.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/parse.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/poly-main.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/shrink.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/sigs.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/utils.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/verbose.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/yacc-grm-sig.sml
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/yacc-grm.sml
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/yacc.ML
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/yacc.grm
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/yacc.lex
The file was addedthys/AutoCorres2/c-parser/tools/mlyacc/src/yacc.lex.sml
The file was addedthys/AutoCorres2/c-parser/topo_sort.ML
The file was addedthys/AutoCorres2/c-parser/umm_heap/ARM/Addr_Type_ARM.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/ARM/TargetNumbers_ARM.ML
The file was addedthys/AutoCorres2/c-parser/umm_heap/ARM/Word_Mem_Encoding_ARM.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/ARM64/Addr_Type_ARM64.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/ARM64/TargetNumbers_ARM64.ML
The file was addedthys/AutoCorres2/c-parser/umm_heap/ARM64/Word_Mem_Encoding_ARM64.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/ARM_HYP/Addr_Type_ARM_HYP.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/ARM_HYP/TargetNumbers_ARM_HYP.ML
The file was addedthys/AutoCorres2/c-parser/umm_heap/ARM_HYP/Word_Mem_Encoding_ARM_HYP.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/Addr_Type.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/ArchArraysMemInstance.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/ArrayAssertion.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/Arrays.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/ArraysMemInstance.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/CTypes.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/CTypesBase.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/CTypesDefs.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/CompoundCTypes.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/HeapRawState.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/MapExtra.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/MapExtraTrans.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/Padding.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/Padding_Equivalence.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/RISCV64/Addr_Type_RISCV64.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/RISCV64/TargetNumbers_RISCV64.ML
The file was addedthys/AutoCorres2/c-parser/umm_heap/RISCV64/Word_Mem_Encoding_RISCV64.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/SepCode.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/SepFrame.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/SepInv.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/SepTactic.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/Separation_UMM.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/StructSupport.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/TargetNumbers.ML
The file was addedthys/AutoCorres2/c-parser/umm_heap/TypHeap.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/Vanilla32.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/Vanilla32_Preliminaries.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/Word_Mem_Encoding.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/X64/Addr_Type_X64.thy
The file was addedthys/AutoCorres2/c-parser/umm_heap/X64/TargetNumbers_X64.ML
The file was addedthys/AutoCorres2/c-parser/umm_heap/X64/Word_Mem_Encoding_X64.thy
The file was addedthys/AutoCorres2/doc/AutoCorresInfrastructure.thy
The file was addedthys/AutoCorres2/doc/AutoCorres_Documentation.thy
The file was addedthys/AutoCorres2/doc/In_Out_Parameters_Ex.thy
The file was addedthys/AutoCorres2/doc/autocorres_infrastructure_ex.c
The file was addedthys/AutoCorres2/doc/fnptr.c
The file was addedthys/AutoCorres2/doc/fnptr.thy
The file was addedthys/AutoCorres2/doc/in_out_parameters.c
The file was addedthys/AutoCorres2/doc/open_struct.c
The file was addedthys/AutoCorres2/doc/open_struct.thy
The file was addedthys/AutoCorres2/doc/pointers_to_locals.c
The file was addedthys/AutoCorres2/doc/pointers_to_locals.thy
The file was addedthys/AutoCorres2/doc/quickstart/Chapter1_MinMax.thy
The file was addedthys/AutoCorres2/doc/quickstart/Chapter2_HoareHeap.thy
The file was addedthys/AutoCorres2/doc/quickstart/Chapter3_HoareHeap.thy
The file was addedthys/AutoCorres2/doc/quickstart/sources/minmax.c
The file was addedthys/AutoCorres2/doc/quickstart/sources/mult_by_add.c
The file was addedthys/AutoCorres2/doc/quickstart/sources/swap.c
The file was addedthys/AutoCorres2/doc/union.c
The file was addedthys/AutoCorres2/doc/union.h
The file was addedthys/AutoCorres2/doc/union_ac.thy
The file was addedthys/AutoCorres2/document/root.bib
The file was addedthys/AutoCorres2/document/root.tex
The file was addedthys/AutoCorres2/exception_rewrite.ML
The file was addedthys/AutoCorres2/function_info.ML
The file was addedthys/AutoCorres2/heap_lift.ML
The file was addedthys/AutoCorres2/heap_lift_base.ML
The file was addedthys/AutoCorres2/in_out_parameters.ML
The file was addedthys/AutoCorres2/l2_opt.ML
The file was addedthys/AutoCorres2/lib/Apply_Trace.thy
The file was addedthys/AutoCorres2/lib/Apply_Trace_Cmd.thy
The file was addedthys/AutoCorres2/lib/Basic_Runs_To_VCG.thy
The file was addedthys/AutoCorres2/lib/Cong_Tactic.thy
The file was addedthys/AutoCorres2/lib/Distinct_Prop.thy
The file was addedthys/AutoCorres2/lib/Eisbach_Methods.thy
The file was addedthys/AutoCorres2/lib/Lens.thy
The file was addedthys/AutoCorres2/lib/ML_Record_Antiquotation.thy
The file was addedthys/AutoCorres2/lib/Misc_Antiquotation.thy
The file was addedthys/AutoCorres2/lib/Monad_WP/Less_Monad_Syntax.thy
The file was addedthys/AutoCorres2/lib/Monad_WP/Option_MonadND.thy
The file was addedthys/AutoCorres2/lib/Monad_WP/Reader_Monad.thy
The file was addedthys/AutoCorres2/lib/More_Lib.thy
The file was addedthys/AutoCorres2/lib/Mutual_CCPO_Recursion.thy
The file was addedthys/AutoCorres2/lib/Named_Rules.thy
The file was addedthys/AutoCorres2/lib/NatBitwise.thy
The file was addedthys/AutoCorres2/lib/Option_Scanner.thy
The file was addedthys/AutoCorres2/lib/Reaches.thy
The file was addedthys/AutoCorres2/lib/Rule_By_Method.thy
The file was addedthys/AutoCorres2/lib/Runs_To_VCG.thy
The file was addedthys/AutoCorres2/lib/Simp_Trace.thy
The file was addedthys/AutoCorres2/lib/Sketch_Tags.thy
The file was addedthys/AutoCorres2/lib/Spec_Monad.thy
The file was addedthys/AutoCorres2/lib/Subgoals.thy
The file was addedthys/AutoCorres2/lib/Tagging.thy
The file was addedthys/AutoCorres2/lib/WordSetup.thy
The file was addedthys/AutoCorres2/lib/Word_Lemmas_32_Internal.thy
The file was addedthys/AutoCorres2/lib/Word_Lemmas_64_Internal.thy
The file was addedthys/AutoCorres2/lib/Word_Lemmas_Internal.thy
The file was addedthys/AutoCorres2/lib/clib/LemmaBucket_C.thy
The file was addedthys/AutoCorres2/lib/clib/TypHeapLib.thy
The file was addedthys/AutoCorres2/lib/ml-helpers/AutoCorres_Utils.thy
The file was addedthys/AutoCorres2/lib/ml-helpers/ML_Fun_Cache.thy
The file was addedthys/AutoCorres2/lib/ml-helpers/ML_Infer_Instantiate.thy
The file was addedthys/AutoCorres2/lib/ml-helpers/Match_Cterm.thy
The file was addedthys/AutoCorres2/lib/ml-helpers/MkTermAntiquote.thy
The file was addedthys/AutoCorres2/lib/ml-helpers/MkTermAntiquote_Tests.thy
The file was addedthys/AutoCorres2/lib/ml-helpers/Print_Annotated.thy
The file was addedthys/AutoCorres2/lib/ml-helpers/StringExtras.ML
The file was addedthys/AutoCorres2/lib/ml-helpers/Synthesize.thy
The file was addedthys/AutoCorres2/lib/ml-helpers/TermPatternAntiquote.thy
The file was addedthys/AutoCorres2/lib/ml-helpers/TermPatternAntiquote_Tests.thy
The file was addedthys/AutoCorres2/lib/ml-helpers/ThmExtras.ML
The file was addedthys/AutoCorres2/lib/ml-helpers/Tuple_Tools.thy
The file was addedthys/AutoCorres2/lib/ml-helpers/context_tactical.ML
The file was addedthys/AutoCorres2/lib/ml-helpers/interpretation_data.ML
The file was addedthys/AutoCorres2/lib/ml-helpers/lazy_named_theorems.ML
The file was addedthys/AutoCorres2/lib/ml-helpers/mkterm_antiquote.ML
The file was addedthys/AutoCorres2/lib/ml-helpers/synthesize_rules.ML
The file was addedthys/AutoCorres2/lib/ml-helpers/utils.ML
The file was addedthys/AutoCorres2/lib/mutual_ccpo_recursion.ML
The file was addedthys/AutoCorres2/lib/named_rules.ML
The file was addedthys/AutoCorres2/lib/set.ML
The file was addedthys/AutoCorres2/lib/subgoal_focus/Subgoal_Methods.thy
The file was addedthys/AutoCorres2/local_var_extract.ML
The file was addedthys/AutoCorres2/main/AutoCorres_Main.thy
The file was addedthys/AutoCorres2/main/AutoCorres_Nondet_Syntax.thy
The file was addedthys/AutoCorres2/monad_convert.ML
The file was addedthys/AutoCorres2/monad_types.ML
The file was addedthys/AutoCorres2/pretty_bound_var_names.ML
The file was addedthys/AutoCorres2/prog.ML
The file was addedthys/AutoCorres2/program_info.ML
The file was addedthys/AutoCorres2/record_utils.ML
The file was addedthys/AutoCorres2/simpl_conv.ML
The file was addedthys/AutoCorres2/tests/AutoCorresTest.thy
The file was addedthys/AutoCorres2/tests/README
The file was addedthys/AutoCorres2/tests/c-parser/CParserTest.thy
The file was addedthys/AutoCorres2/tests/c-parser/MachineWords.thy
The file was addedthys/AutoCorres2/tests/c-parser/Plus0.thy
The file was addedthys/AutoCorres2/tests/c-parser/Skip_Asm.thy
The file was addedthys/AutoCorres2/tests/c-parser/aligned.c
The file was addedthys/AutoCorres2/tests/c-parser/aligned.thy
The file was addedthys/AutoCorres2/tests/c-parser/analsignedoverflow.c
The file was addedthys/AutoCorres2/tests/c-parser/analsignedoverflow.thy
The file was addedthys/AutoCorres2/tests/c-parser/anonymous_block_locals.c
The file was addedthys/AutoCorres2/tests/c-parser/array_of_ptr.c
The file was addedthys/AutoCorres2/tests/c-parser/array_of_ptr.thy
The file was addedthys/AutoCorres2/tests/c-parser/arrays.c
The file was addedthys/AutoCorres2/tests/c-parser/arrays.thy
The file was addedthys/AutoCorres2/tests/c-parser/asm.c
The file was addedthys/AutoCorres2/tests/c-parser/asm_stmt.c
The file was addedthys/AutoCorres2/tests/c-parser/asm_stmt.thy
The file was addedthys/AutoCorres2/tests/c-parser/attributes.c
The file was addedthys/AutoCorres2/tests/c-parser/attributes.thy
The file was addedthys/AutoCorres2/tests/c-parser/automatic_modifies.c
The file was addedthys/AutoCorres2/tests/c-parser/bar.c
The file was addedthys/AutoCorres2/tests/c-parser/basic_char.c
The file was addedthys/AutoCorres2/tests/c-parser/basic_char.thy
The file was addedthys/AutoCorres2/tests/c-parser/bigstruct.c
The file was addedthys/AutoCorres2/tests/c-parser/bigstruct.thy
The file was addedthys/AutoCorres2/tests/c-parser/bitfield.c
The file was addedthys/AutoCorres2/tests/c-parser/breakcontinue.c
The file was addedthys/AutoCorres2/tests/c-parser/breakcontinue.thy
The file was addedthys/AutoCorres2/tests/c-parser/bug20060707.c
The file was addedthys/AutoCorres2/tests/c-parser/bug20060707.thy
The file was addedthys/AutoCorres2/tests/c-parser/bug_mvt20110302.c
The file was addedthys/AutoCorres2/tests/c-parser/bug_mvt20110302.thy
The file was addedthys/AutoCorres2/tests/c-parser/bugzilla180.c
The file was addedthys/AutoCorres2/tests/c-parser/bugzilla180.thy
The file was addedthys/AutoCorres2/tests/c-parser/bugzilla181.c
The file was addedthys/AutoCorres2/tests/c-parser/bugzilla181.thy
The file was addedthys/AutoCorres2/tests/c-parser/bugzilla182.c
The file was addedthys/AutoCorres2/tests/c-parser/bugzilla182.thy
The file was addedthys/AutoCorres2/tests/c-parser/bugzilla213.c
The file was addedthys/AutoCorres2/tests/c-parser/builtins.c
The file was addedthys/AutoCorres2/tests/c-parser/builtins.thy
The file was addedthys/AutoCorres2/tests/c-parser/charlit.c
The file was addedthys/AutoCorres2/tests/c-parser/charlit.thy
The file was addedthys/AutoCorres2/tests/c-parser/codetests.thy
The file was addedthys/AutoCorres2/tests/c-parser/dc_20081211.c
The file was addedthys/AutoCorres2/tests/c-parser/dc_20081211.thy
The file was addedthys/AutoCorres2/tests/c-parser/dc_embbug.c
The file was addedthys/AutoCorres2/tests/c-parser/dc_embbug.thy
The file was addedthys/AutoCorres2/tests/c-parser/decl_only.c
The file was addedthys/AutoCorres2/tests/c-parser/decl_only.thy
The file was addedthys/AutoCorres2/tests/c-parser/dont_translate.c
The file was addedthys/AutoCorres2/tests/c-parser/dont_translate.thy
The file was addedthys/AutoCorres2/tests/c-parser/dupthms.c
The file was addedthys/AutoCorres2/tests/c-parser/dupthms.thy
The file was addedthys/AutoCorres2/tests/c-parser/empty.c
The file was addedthys/AutoCorres2/tests/c-parser/empty.h
The file was addedthys/AutoCorres2/tests/c-parser/empty.thy
The file was addedthys/AutoCorres2/tests/c-parser/emptystmt.c
The file was addedthys/AutoCorres2/tests/c-parser/emptystmt.thy
The file was addedthys/AutoCorres2/tests/c-parser/exit.c
The file was addedthys/AutoCorres2/tests/c-parser/exit.thy
The file was addedthys/AutoCorres2/tests/c-parser/extern_builtin.c
The file was addedthys/AutoCorres2/tests/c-parser/extern_builtin.thy
The file was addedthys/AutoCorres2/tests/c-parser/extern_dups.c
The file was addedthys/AutoCorres2/tests/c-parser/extern_dups.thy
The file was addedthys/AutoCorres2/tests/c-parser/factorial.c
The file was addedthys/AutoCorres2/tests/c-parser/factorial.thy
The file was addedthys/AutoCorres2/tests/c-parser/fncall.c
The file was addedthys/AutoCorres2/tests/c-parser/fncall.thy
The file was addedthys/AutoCorres2/tests/c-parser/fnptr0.c
The file was addedthys/AutoCorres2/tests/c-parser/fnptr0.thy
The file was addedthys/AutoCorres2/tests/c-parser/fnptr_enum.c
The file was addedthys/AutoCorres2/tests/c-parser/fnptr_enum.thy
The file was addedthys/AutoCorres2/tests/c-parser/gcc_attribs.c
The file was addedthys/AutoCorres2/tests/c-parser/gcc_attribs.thy
The file was addedthys/AutoCorres2/tests/c-parser/ghoststate1.c
The file was addedthys/AutoCorres2/tests/c-parser/ghoststate1.thy
The file was addedthys/AutoCorres2/tests/c-parser/ghoststate2.c
The file was addedthys/AutoCorres2/tests/c-parser/ghoststate2.thy
The file was addedthys/AutoCorres2/tests/c-parser/globals_fn.c
The file was addedthys/AutoCorres2/tests/c-parser/globals_fn.thy
The file was addedthys/AutoCorres2/tests/c-parser/globals_in_record.c
The file was addedthys/AutoCorres2/tests/c-parser/globals_in_record.thy
The file was addedthys/AutoCorres2/tests/c-parser/globinits.c
The file was addedthys/AutoCorres2/tests/c-parser/globinits.thy
The file was addedthys/AutoCorres2/tests/c-parser/globsall_addressed.c
The file was addedthys/AutoCorres2/tests/c-parser/globsall_addressed.thy.broken
The file was addedthys/AutoCorres2/tests/c-parser/goto0.c
The file was addedthys/AutoCorres2/tests/c-parser/goto0.thy
The file was addedthys/AutoCorres2/tests/c-parser/guard_while.c
The file was addedthys/AutoCorres2/tests/c-parser/guard_while.thy
The file was addedthys/AutoCorres2/tests/c-parser/hard_struct.c
The file was addedthys/AutoCorres2/tests/c-parser/hexliteral.c
The file was addedthys/AutoCorres2/tests/c-parser/hexliteral.thy
The file was addedthys/AutoCorres2/tests/c-parser/includes/accentedだいがく.h
The file was addedthys/AutoCorres2/tests/c-parser/includes/accented大学.h
The file was addedthys/AutoCorres2/tests/c-parser/includes/accentéd1.h
The file was addedthys/AutoCorres2/tests/c-parser/includes/test_include2.h
The file was addedthys/AutoCorres2/tests/c-parser/includes/test_locality.thy
The file was addedthys/AutoCorres2/tests/c-parser/init_static.c
The file was addedthys/AutoCorres2/tests/c-parser/init_static.thy
The file was addedthys/AutoCorres2/tests/c-parser/initialised_decls.c
The file was addedthys/AutoCorres2/tests/c-parser/initialised_decls.thy
The file was addedthys/AutoCorres2/tests/c-parser/inner_fncalls.c
The file was addedthys/AutoCorres2/tests/c-parser/inner_fncalls.thy
The file was addedthys/AutoCorres2/tests/c-parser/int_promotion.c
The file was addedthys/AutoCorres2/tests/c-parser/int_promotion.thy
The file was addedthys/AutoCorres2/tests/c-parser/isa2014.c
The file was addedthys/AutoCorres2/tests/c-parser/isa2014.thy
The file was addedthys/AutoCorres2/tests/c-parser/jira ver307.c
The file was addedthys/AutoCorres2/tests/c-parser/jira ver307.h
The file was addedthys/AutoCorres2/tests/c-parser/jiraver039.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver039.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver092.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver092.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver105.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver105.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver110.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver110.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver1241.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver1241.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver150.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver150.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver224.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver224.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver253.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver253.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver254.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver254.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver307.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver310.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver310.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver313.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver313.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver315.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver315.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver332.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver332.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver336.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver336.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver337.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver337.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver344.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver344.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver345.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver345.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver384.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver384.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver400.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver400.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver422.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver422.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver426.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver426.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver429.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver429.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver432.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver432.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver434.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver434.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver439.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver439.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver440.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver440.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver443.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver443.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver443a.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver443a.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver456.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver456.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver464.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver464.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver473.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver473.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver54.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver54.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver550.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver550.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver808.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver808.thy
The file was addedthys/AutoCorres2/tests/c-parser/jiraver881.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver881.thy
The file was addedthys/AutoCorres2/tests/c-parser/kmalloc0.c
The file was addedthys/AutoCorres2/tests/c-parser/kmalloc0.thy
The file was addedthys/AutoCorres2/tests/c-parser/list_reverse.c
The file was addedthys/AutoCorres2/tests/c-parser/list_reverse.thy
The file was addedthys/AutoCorres2/tests/c-parser/list_reverse_norm.c
The file was addedthys/AutoCorres2/tests/c-parser/list_reverse_norm.thy
The file was addedthys/AutoCorres2/tests/c-parser/locvarfncall.c
The file was addedthys/AutoCorres2/tests/c-parser/locvarfncall.thy
The file was addedthys/AutoCorres2/tests/c-parser/longlong.c
The file was addedthys/AutoCorres2/tests/c-parser/longlong.thy
The file was addedthys/AutoCorres2/tests/c-parser/memcopy.c
The file was addedthys/AutoCorres2/tests/c-parser/memcopy.thy
The file was addedthys/AutoCorres2/tests/c-parser/modifies_assumptions.c
The file was addedthys/AutoCorres2/tests/c-parser/modifies_assumptions.thy
The file was addedthys/AutoCorres2/tests/c-parser/modifies_pointer_to_local
The file was addedthys/AutoCorres2/tests/c-parser/modifies_pointer_to_local.c
The file was addedthys/AutoCorres2/tests/c-parser/modifies_pointer_to_local.thy
The file was addedthys/AutoCorres2/tests/c-parser/modifies_speed.c
The file was addedthys/AutoCorres2/tests/c-parser/modifies_speed.thy
The file was addedthys/AutoCorres2/tests/c-parser/multi_deref.c
The file was addedthys/AutoCorres2/tests/c-parser/multi_deref.thy
The file was addedthys/AutoCorres2/tests/c-parser/multidim_arrays.c
The file was addedthys/AutoCorres2/tests/c-parser/multidim_arrays.thy
The file was addedthys/AutoCorres2/tests/c-parser/mutrec_modifies.c
The file was addedthys/AutoCorres2/tests/c-parser/mutrec_modifies.thy
The file was addedthys/AutoCorres2/tests/c-parser/nested.c
The file was addedthys/AutoCorres2/tests/c-parser/nested.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_addr.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_addr.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_auxupd.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_c99block.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_c99block.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_complit.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_complit.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_dowhile.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_dowhile.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_enum.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_enum.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_fncall.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_fncall.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_forloop.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_forloop.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_include.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_include.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_prepost.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_protos.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_protos.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_retfncall.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_retfncall.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_simple_struct.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_sizeof.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_sizeof.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_someops.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_someops.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_spec.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_spec.thy.broken
The file was addedthys/AutoCorres2/tests/c-parser/parse_struct.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_struct.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_struct_array.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_struct_array.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_switch.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_switch.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_switch_failures.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_typecast.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_typecast.thy
The file was addedthys/AutoCorres2/tests/c-parser/parse_voidfn.c
The file was addedthys/AutoCorres2/tests/c-parser/parse_voidfn.thy
The file was addedthys/AutoCorres2/tests/c-parser/phantom_mstate.c
The file was addedthys/AutoCorres2/tests/c-parser/phantom_mstate.thy
The file was addedthys/AutoCorres2/tests/c-parser/plus0.c
The file was addedthys/AutoCorres2/tests/c-parser/pointers_to_locals0.c
The file was addedthys/AutoCorres2/tests/c-parser/pointers_to_locals0.thy
The file was addedthys/AutoCorres2/tests/c-parser/populate_globals.thy
The file was addedthys/AutoCorres2/tests/c-parser/postfixOps.c
The file was addedthys/AutoCorres2/tests/c-parser/postfixOps.thy
The file was addedthys/AutoCorres2/tests/c-parser/protoparamshadow.c
The file was addedthys/AutoCorres2/tests/c-parser/protoparamshadow.thy
The file was addedthys/AutoCorres2/tests/c-parser/ptr_auxupd.c
The file was addedthys/AutoCorres2/tests/c-parser/ptr_auxupd.thy
The file was addedthys/AutoCorres2/tests/c-parser/ptr_diff.c
The file was addedthys/AutoCorres2/tests/c-parser/ptr_diff.thy
The file was addedthys/AutoCorres2/tests/c-parser/ptr_globals.c
The file was addedthys/AutoCorres2/tests/c-parser/ptr_locals.ML
The file was addedthys/AutoCorres2/tests/c-parser/ptr_locals.c
The file was addedthys/AutoCorres2/tests/c-parser/ptr_modifies.c
The file was addedthys/AutoCorres2/tests/c-parser/ptr_modifies.thy
The file was addedthys/AutoCorres2/tests/c-parser/ptr_umm.c
The file was addedthys/AutoCorres2/tests/c-parser/ptr_umm.thy.broken
The file was addedthys/AutoCorres2/tests/c-parser/really_simple.c
The file was addedthys/AutoCorres2/tests/c-parser/really_simple.thy
The file was addedthys/AutoCorres2/tests/c-parser/relspec.c
The file was addedthys/AutoCorres2/tests/c-parser/relspec.thy
The file was addedthys/AutoCorres2/tests/c-parser/retprefix.c
The file was addedthys/AutoCorres2/tests/c-parser/retprefix.thy
The file was addedthys/AutoCorres2/tests/c-parser/selection_sort.c
The file was addedthys/AutoCorres2/tests/c-parser/selection_sort.thy
The file was addedthys/AutoCorres2/tests/c-parser/shortcircuit.c
The file was addedthys/AutoCorres2/tests/c-parser/shortcircuit.thy
The file was addedthys/AutoCorres2/tests/c-parser/signed_div.c
The file was addedthys/AutoCorres2/tests/c-parser/signed_div.thy
The file was addedthys/AutoCorres2/tests/c-parser/signedoverflow.c
The file was addedthys/AutoCorres2/tests/c-parser/signedoverflow.thy
The file was addedthys/AutoCorres2/tests/c-parser/simple_annotated_fn.c
The file was addedthys/AutoCorres2/tests/c-parser/simple_annotated_fn.thy
The file was addedthys/AutoCorres2/tests/c-parser/simple_constexpr_sizeof.c
The file was addedthys/AutoCorres2/tests/c-parser/simple_constexpr_sizeof.thy
The file was addedthys/AutoCorres2/tests/c-parser/simple_fn.c
The file was addedthys/AutoCorres2/tests/c-parser/simple_fn.thy
The file was addedthys/AutoCorres2/tests/c-parser/simple_globals.c
The file was addedthys/AutoCorres2/tests/c-parser/simple_locals.c
The file was addedthys/AutoCorres2/tests/c-parser/sizeof_typedef.c
The file was addedthys/AutoCorres2/tests/c-parser/sizeof_typedef.thy
The file was addedthys/AutoCorres2/tests/c-parser/skip_asm.c
The file was addedthys/AutoCorres2/tests/c-parser/spec_annotated_fn.c
The file was addedthys/AutoCorres2/tests/c-parser/spec_annotated_fn.thy
The file was addedthys/AutoCorres2/tests/c-parser/spec_annotated_voidfn.c
The file was addedthys/AutoCorres2/tests/c-parser/spec_annotated_voidfn.thy
The file was addedthys/AutoCorres2/tests/c-parser/static.c
The file was addedthys/AutoCorres2/tests/c-parser/static.thy
The file was addedthys/AutoCorres2/tests/c-parser/struct_globals.c
The file was addedthys/AutoCorres2/tests/c-parser/struct_init0.c
The file was addedthys/AutoCorres2/tests/c-parser/struct_init0.thy
The file was addedthys/AutoCorres2/tests/c-parser/struct_locals.c
The file was addedthys/AutoCorres2/tests/c-parser/struct_names.c
The file was addedthys/AutoCorres2/tests/c-parser/struct_names.thy
The file was addedthys/AutoCorres2/tests/c-parser/struct_ptr_fn.c
The file was addedthys/AutoCorres2/tests/c-parser/struct_ptr_globals.c
The file was addedthys/AutoCorres2/tests/c-parser/swap0.c
The file was addedthys/AutoCorres2/tests/c-parser/swap0.thy
The file was addedthys/AutoCorres2/tests/c-parser/switch_unsigned_signed.c
The file was addedthys/AutoCorres2/tests/c-parser/switch_unsigned_signed.thy
The file was addedthys/AutoCorres2/tests/c-parser/test_include.c
The file was addedthys/AutoCorres2/tests/c-parser/test_include.h
The file was addedthys/AutoCorres2/tests/c-parser/test_shifts.c
The file was addedthys/AutoCorres2/tests/c-parser/test_shifts.thy
The file was addedthys/AutoCorres2/tests/c-parser/test_typedef.c
The file was addedthys/AutoCorres2/tests/c-parser/ummbug20100217.c
The file was addedthys/AutoCorres2/tests/c-parser/ummbug20100217.thy
The file was addedthys/AutoCorres2/tests/c-parser/union.c
The file was addedthys/AutoCorres2/tests/c-parser/union.h
The file was addedthys/AutoCorres2/tests/c-parser/union.thy
The file was addedthys/AutoCorres2/tests/c-parser/untouched_globals.c
The file was addedthys/AutoCorres2/tests/c-parser/untouched_globals.thy
The file was addedthys/AutoCorres2/tests/c-parser/variable_munge.c
The file was addedthys/AutoCorres2/tests/c-parser/variable_munge.thy
The file was addedthys/AutoCorres2/tests/c-parser/varinit.c
The file was addedthys/AutoCorres2/tests/c-parser/varinit.thy
The file was addedthys/AutoCorres2/tests/c-parser/void_ptr_init.c
The file was addedthys/AutoCorres2/tests/c-parser/void_ptr_init.thy
The file was addedthys/AutoCorres2/tests/c-parser/volatile_asm.c
The file was addedthys/AutoCorres2/tests/c-parser/volatile_asm.thy
The file was addedthys/AutoCorres2/tests/examples/AC_Rename.thy
The file was addedthys/AutoCorres2/tests/examples/Alloc_Ex.thy
The file was addedthys/AutoCorres2/tests/examples/BinarySearch.thy
The file was addedthys/AutoCorres2/tests/examples/CList.thy
The file was addedthys/AutoCorres2/tests/examples/CompoundCTypesEx.thy
The file was addedthys/AutoCorres2/tests/examples/CompoundCTypesExNew.thy
The file was addedthys/AutoCorres2/tests/examples/ConditionGuard.thy
The file was addedthys/AutoCorres2/tests/examples/DataStructures.thy
The file was addedthys/AutoCorres2/tests/examples/Exception_Rewriting.c
The file was addedthys/AutoCorres2/tests/examples/Exception_Rewriting.thy
The file was addedthys/AutoCorres2/tests/examples/FactorialTest.thy
The file was addedthys/AutoCorres2/tests/examples/FibProof.thy
The file was addedthys/AutoCorres2/tests/examples/FunctionInfoDemo.thy
The file was addedthys/AutoCorres2/tests/examples/HeapWrap.thy
The file was addedthys/AutoCorres2/tests/examples/Incremental.thy
The file was addedthys/AutoCorres2/tests/examples/IsPrime_Ex.thy
The file was addedthys/AutoCorres2/tests/examples/Kmalloc.thy
The file was addedthys/AutoCorres2/tests/examples/ListRev.thy
The file was addedthys/AutoCorres2/tests/examples/Match_Cterm_Ex.thy
The file was addedthys/AutoCorres2/tests/examples/Memcpy.thy
The file was addedthys/AutoCorres2/tests/examples/Memset.thy
The file was addedthys/AutoCorres2/tests/examples/MultByAdd.thy
The file was addedthys/AutoCorres2/tests/examples/Mutual_Fixed_Points.thy
The file was addedthys/AutoCorres2/tests/examples/Plus_Ex.thy
The file was addedthys/AutoCorres2/tests/examples/Quicksort_Ex.thy
The file was addedthys/AutoCorres2/tests/examples/SchorrWaite_Ex.thy
The file was addedthys/AutoCorres2/tests/examples/Simple.thy
The file was addedthys/AutoCorres2/tests/examples/Str2Long.thy
The file was addedthys/AutoCorres2/tests/examples/Suzuki.thy
The file was addedthys/AutoCorres2/tests/examples/Swap_Ex.thy
The file was addedthys/AutoCorres2/tests/examples/TraceDemo.thy
The file was addedthys/AutoCorres2/tests/examples/WordAbs.thy
The file was addedthys/AutoCorres2/tests/examples/alloc.c
The file was addedthys/AutoCorres2/tests/examples/alloc.h
The file was addedthys/AutoCorres2/tests/examples/binary_search.c
The file was addedthys/AutoCorres2/tests/examples/condition_guard.c
The file was addedthys/AutoCorres2/tests/examples/factorial.c
The file was addedthys/AutoCorres2/tests/examples/fib.c
The file was addedthys/AutoCorres2/tests/examples/final_autocorres.c
The file was addedthys/AutoCorres2/tests/examples/final_autocorres.thy
The file was addedthys/AutoCorres2/tests/examples/function_info.c
The file was addedthys/AutoCorres2/tests/examples/goto.c
The file was addedthys/AutoCorres2/tests/examples/goto.thy
The file was addedthys/AutoCorres2/tests/examples/heap_wrap.c
The file was addedthys/AutoCorres2/tests/examples/incremental.c
The file was addedthys/AutoCorres2/tests/examples/is_prime.c
The file was addedthys/AutoCorres2/tests/examples/kmalloc.c
The file was addedthys/AutoCorres2/tests/examples/list.c
The file was addedthys/AutoCorres2/tests/examples/list_rev.c
The file was addedthys/AutoCorres2/tests/examples/memcpy.c
The file was addedthys/AutoCorres2/tests/examples/memset.c
The file was addedthys/AutoCorres2/tests/examples/mult_by_add.c
The file was addedthys/AutoCorres2/tests/examples/plus.c
The file was addedthys/AutoCorres2/tests/examples/quicksort.c
The file was addedthys/AutoCorres2/tests/examples/rename.c
The file was addedthys/AutoCorres2/tests/examples/schorr_waite.c
The file was addedthys/AutoCorres2/tests/examples/simple.c
The file was addedthys/AutoCorres2/tests/examples/str2long.c
The file was addedthys/AutoCorres2/tests/examples/suzuki.c
The file was addedthys/AutoCorres2/tests/examples/swap.c
The file was addedthys/AutoCorres2/tests/examples/trace_demo.c
The file was addedthys/AutoCorres2/tests/examples/type_strengthen.c
The file was addedthys/AutoCorres2/tests/examples/type_strengthen_tricks.thy
The file was addedthys/AutoCorres2/tests/examples/word_abs.c
The file was addedthys/AutoCorres2/tests/parse-tests/basic.c
The file was addedthys/AutoCorres2/tests/parse-tests/basic.thy
The file was addedthys/AutoCorres2/tests/parse-tests/basic_recursion.c
The file was addedthys/AutoCorres2/tests/parse-tests/basic_recursion.thy
The file was addedthys/AutoCorres2/tests/parse-tests/big_bit_ops.c
The file was addedthys/AutoCorres2/tests/parse-tests/big_bit_ops.thy
The file was addedthys/AutoCorres2/tests/parse-tests/bodyless_function.c
The file was addedthys/AutoCorres2/tests/parse-tests/bodyless_function.thy
The file was addedthys/AutoCorres2/tests/parse-tests/heap_infer.c
The file was addedthys/AutoCorres2/tests/parse-tests/heap_infer.thy
The file was addedthys/AutoCorres2/tests/parse-tests/heap_lift_array.c
The file was addedthys/AutoCorres2/tests/parse-tests/heap_lift_array.thy
The file was addedthys/AutoCorres2/tests/parse-tests/l2_opt_invariant.c
The file was addedthys/AutoCorres2/tests/parse-tests/l2_opt_invariant.thy
The file was addedthys/AutoCorres2/tests/parse-tests/loop_test.c
The file was addedthys/AutoCorres2/tests/parse-tests/loop_test.thy
The file was addedthys/AutoCorres2/tests/parse-tests/loop_test2.c
The file was addedthys/AutoCorres2/tests/parse-tests/loop_test2.thy
The file was addedthys/AutoCorres2/tests/parse-tests/mutual_recursion.c
The file was addedthys/AutoCorres2/tests/parse-tests/mutual_recursion.thy
The file was addedthys/AutoCorres2/tests/parse-tests/mutual_recursion2.c
The file was addedthys/AutoCorres2/tests/parse-tests/mutual_recursion2.thy
The file was addedthys/AutoCorres2/tests/parse-tests/nested_break_cont.c
The file was addedthys/AutoCorres2/tests/parse-tests/nested_break_cont.thy
The file was addedthys/AutoCorres2/tests/parse-tests/read_global_array.c
The file was addedthys/AutoCorres2/tests/parse-tests/read_global_array.thy
The file was addedthys/AutoCorres2/tests/parse-tests/signed_ptr_ptr.c
The file was addedthys/AutoCorres2/tests/parse-tests/signed_ptr_ptr.thy
The file was addedthys/AutoCorres2/tests/parse-tests/simple1.c
The file was addedthys/AutoCorres2/tests/parse-tests/simple1.thy
The file was addedthys/AutoCorres2/tests/parse-tests/single_auxupd.c
The file was addedthys/AutoCorres2/tests/parse-tests/single_auxupd.thy
The file was addedthys/AutoCorres2/tests/parse-tests/struct1.c
The file was addedthys/AutoCorres2/tests/parse-tests/struct1.thy
The file was addedthys/AutoCorres2/tests/parse-tests/struct_init.c
The file was addedthys/AutoCorres2/tests/parse-tests/struct_init.thy
The file was addedthys/AutoCorres2/tests/parse-tests/unliftable_call.c
The file was addedthys/AutoCorres2/tests/parse-tests/unliftable_call.thy
The file was addedthys/AutoCorres2/tests/parse-tests/voidptrptr.c
The file was addedthys/AutoCorres2/tests/parse-tests/voidptrptr.thy
The file was addedthys/AutoCorres2/tests/parse-tests/while_loop_no_vars.c
The file was addedthys/AutoCorres2/tests/parse-tests/while_loop_no_vars.thy
The file was addedthys/AutoCorres2/tests/parse-tests/word_abs_exn.c
The file was addedthys/AutoCorres2/tests/parse-tests/word_abs_exn.thy
The file was addedthys/AutoCorres2/tests/parse-tests/write_to_global_array.c
The file was addedthys/AutoCorres2/tests/parse-tests/write_to_global_array.thy
The file was addedthys/AutoCorres2/tests/proof-tests/Asm_Labels.thy
The file was addedthys/AutoCorres2/tests/proof-tests/CustomWordAbs.thy
The file was addedthys/AutoCorres2/tests/proof-tests/EvaluationOrder.thy
The file was addedthys/AutoCorres2/tests/proof-tests/Global_Structs.thy
The file was addedthys/AutoCorres2/tests/proof-tests/Guard_Simp.thy
The file was addedthys/AutoCorres2/tests/proof-tests/In_Out_Parameters_Slow.thy
The file was addedthys/AutoCorres2/tests/proof-tests/SignedWordAbsHeap.thy
The file was addedthys/AutoCorres2/tests/proof-tests/Test_Spec_Translation.thy
The file was addedthys/AutoCorres2/tests/proof-tests/WhileLoopVarsPreserved.thy
The file was addedthys/AutoCorres2/tests/proof-tests/WordAbsFnCall.thy
The file was addedthys/AutoCorres2/tests/proof-tests/array_indirect_update.c
The file was addedthys/AutoCorres2/tests/proof-tests/array_indirect_update.thy
The file was addedthys/AutoCorres2/tests/proof-tests/asm_labels.c
The file was addedthys/AutoCorres2/tests/proof-tests/badnames.c
The file was addedthys/AutoCorres2/tests/proof-tests/badnames.thy
The file was addedthys/AutoCorres2/tests/proof-tests/bit_shuffle.c
The file was addedthys/AutoCorres2/tests/proof-tests/bit_shuffle.thy
The file was addedthys/AutoCorres2/tests/proof-tests/buffer.c
The file was addedthys/AutoCorres2/tests/proof-tests/buffer.thy
The file was addedthys/AutoCorres2/tests/proof-tests/custom_word_abs.c
The file was addedthys/AutoCorres2/tests/proof-tests/evaluation_order.c
The file was addedthys/AutoCorres2/tests/proof-tests/explosion.c
The file was addedthys/AutoCorres2/tests/proof-tests/explosion.thy
The file was addedthys/AutoCorres2/tests/proof-tests/fnptr.c
The file was addedthys/AutoCorres2/tests/proof-tests/fnptr_enum0.c
The file was addedthys/AutoCorres2/tests/proof-tests/fnptr_enum0.thy
The file was addedthys/AutoCorres2/tests/proof-tests/fnptr_large_array.c
The file was addedthys/AutoCorres2/tests/proof-tests/fnptr_large_array.thy
The file was addedthys/AutoCorres2/tests/proof-tests/fnptr_skip_heap_abs.thy
The file was addedthys/AutoCorres2/tests/proof-tests/global_array_update.c
The file was addedthys/AutoCorres2/tests/proof-tests/global_array_update.thy
The file was addedthys/AutoCorres2/tests/proof-tests/global_structs.c
The file was addedthys/AutoCorres2/tests/proof-tests/globals.c
The file was addedthys/AutoCorres2/tests/proof-tests/globals.thy
The file was addedthys/AutoCorres2/tests/proof-tests/guard_simp.c
The file was addedthys/AutoCorres2/tests/proof-tests/heap_lift_force_prevent.c
The file was addedthys/AutoCorres2/tests/proof-tests/heap_lift_force_prevent.thy
The file was addedthys/AutoCorres2/tests/proof-tests/in_out_parameters_slow.c
The file was addedthys/AutoCorres2/tests/proof-tests/int128.c
The file was addedthys/AutoCorres2/tests/proof-tests/int128.thy
The file was addedthys/AutoCorres2/tests/proof-tests/mmio.c
The file was addedthys/AutoCorres2/tests/proof-tests/mmio.thy
The file was addedthys/AutoCorres2/tests/proof-tests/mmio_assume.c
The file was addedthys/AutoCorres2/tests/proof-tests/mmio_assume.thy
The file was addedthys/AutoCorres2/tests/proof-tests/nested_array.c
The file was addedthys/AutoCorres2/tests/proof-tests/nested_array.thy
The file was addedthys/AutoCorres2/tests/proof-tests/nested_struct.c
The file was addedthys/AutoCorres2/tests/proof-tests/nested_struct.thy
The file was addedthys/AutoCorres2/tests/proof-tests/open_nested.c
The file was addedthys/AutoCorres2/tests/proof-tests/open_nested.thy
The file was addedthys/AutoCorres2/tests/proof-tests/open_nested_array.c
The file was addedthys/AutoCorres2/tests/proof-tests/open_nested_array.thy
The file was addedthys/AutoCorres2/tests/proof-tests/option_exploration.c
The file was addedthys/AutoCorres2/tests/proof-tests/option_exploration.thy
The file was addedthys/AutoCorres2/tests/proof-tests/partial_open_nested.c
The file was addedthys/AutoCorres2/tests/proof-tests/partial_open_nested.thy
The file was addedthys/AutoCorres2/tests/proof-tests/pointers_to_locals_skip_hl.c
The file was addedthys/AutoCorres2/tests/proof-tests/pointers_to_locals_skip_hl.thy
The file was addedthys/AutoCorres2/tests/proof-tests/pointers_to_locals_skip_hl_wa.c
The file was addedthys/AutoCorres2/tests/proof-tests/pointers_to_locals_skip_hl_wa.thy
The file was addedthys/AutoCorres2/tests/proof-tests/profile_conversion.c
The file was addedthys/AutoCorres2/tests/proof-tests/profile_conversion.thy
The file was addedthys/AutoCorres2/tests/proof-tests/prototyped_functions.c
The file was addedthys/AutoCorres2/tests/proof-tests/prototyped_functions.thy
The file was addedthys/AutoCorres2/tests/proof-tests/signed_word_abs_heap.c
The file was addedthys/AutoCorres2/tests/proof-tests/skip_heap_abs.c
The file was addedthys/AutoCorres2/tests/proof-tests/skip_heap_abs.thy
The file was addedthys/AutoCorres2/tests/proof-tests/skip_in_out_parameters.c
The file was addedthys/AutoCorres2/tests/proof-tests/skip_in_out_parameters.thy
The file was addedthys/AutoCorres2/tests/proof-tests/struct.c
The file was addedthys/AutoCorres2/tests/proof-tests/struct.thy
The file was addedthys/AutoCorres2/tests/proof-tests/struct2.c
The file was addedthys/AutoCorres2/tests/proof-tests/struct2.thy
The file was addedthys/AutoCorres2/tests/proof-tests/struct3.thy
The file was addedthys/AutoCorres2/tests/proof-tests/struct_consecutive_init.c
The file was addedthys/AutoCorres2/tests/proof-tests/struct_consecutive_init.thy
The file was addedthys/AutoCorres2/tests/proof-tests/ternary_conditional_operator.c
The file was addedthys/AutoCorres2/tests/proof-tests/ternary_conditional_operator.thy
The file was addedthys/AutoCorres2/tests/proof-tests/test_spec_translation.c
The file was addedthys/AutoCorres2/tests/proof-tests/try.c
The file was addedthys/AutoCorres2/tests/proof-tests/try.thy
The file was addedthys/AutoCorres2/tests/proof-tests/underscore_funs.c
The file was addedthys/AutoCorres2/tests/proof-tests/underscore_funs.thy
The file was addedthys/AutoCorres2/tests/proof-tests/unfold_bind_options.c
The file was addedthys/AutoCorres2/tests/proof-tests/unfold_bind_options.thy
The file was addedthys/AutoCorres2/tests/proof-tests/while_loop_vars_preserved.c
The file was addedthys/AutoCorres2/tests/proof-tests/word_abs_cases.c
The file was addedthys/AutoCorres2/tests/proof-tests/word_abs_cases.thy
The file was addedthys/AutoCorres2/tests/proof-tests/word_abs_fn_call.c
The file was addedthys/AutoCorres2/tests/proof-tests/word_abs_options.c
The file was addedthys/AutoCorres2/tests/proof-tests/word_abs_options.thy
The file was addedthys/AutoCorres2/trace_antiquote.ML
The file was addedthys/AutoCorres2/type_strengthen.ML
The file was addedthys/AutoCorres2/utils.ML
The file was addedthys/AutoCorres2/word_abstract.ML
The file was modified thys/ROOTS
Changeset 14345:07ce5347d1f1 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP 2024
Changeset 14344:75d38076c90c by rene thiemann _rene.thiemann@uibk.ac.at_:
import of 106668449b18 from AFP-devel (required for upcoming submission)
The file was modified thys/Complete_Non_Orders/Kleene_Fixed_Point.thy
Changeset 14343:fde149dd0cdd by rene thiemann _rene.thiemann@uibk.ac.at_:
import of bdfb44a7a3a9 from AFP-devel (required for upcoming submission)
The file was modified thys/Complete_Non_Orders/Binary_Relations.thy
The file was modified thys/First_Order_Terms/Term.thy
Changeset 14342:7484043f0706 by rene thiemann _rene.thiemann@uibk.ac.at_:
adjust Derandomization_Conditional_Expectations from 2023 to 2024-RC2
The file was modified thys/Derandomization_Conditional_Expectations/Derandomization_Conditional_Expectations_Preliminary.thy
The file was modified thys/Derandomization_Conditional_Expectations/ROOT
Changeset 14341:0a6e6582cb27 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP 2023
Changeset 14340:e4ae5d1bea14 by Manuel Eberl _manuel@pruvisto.org_:
added missing files (oops)
The file was addedmetadata/entries/Derandomization_Conditional_Expectations.toml
The file was addedweb/dependencies/distributed_distinct_elements/index.html
The file was addedweb/dependencies/distributed_distinct_elements/index.xml
The file was addedweb/entries/Derandomization_Conditional_Expectations.html
The file was addedweb/sessions/derandomization_conditional_expectations/index.html
Changeset 14339:af5809b53c7f by Manuel Eberl _manuel@pruvisto.org_:
sitegen for Derandomization_Conditional_Expectations
The file was modified web/authors/karayel/index.html
The file was modified web/authors/karayel/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/index.html
The file was modified web/dependencies/index.json
The file was modified web/dependencies/undirected_graph_theory/index.html
The file was modified web/dependencies/undirected_graph_theory/index.xml
The file was modified web/entries/Catoids.html
The file was modified web/entries/Combinatorics_Words.html
The file was modified web/entries/Distributed_Distinct_Elements.html
The file was modified web/entries/Efficient_Weighted_Path_Order.html
The file was modified web/entries/Frequency_Moments.html
The file was modified web/entries/HoareForDivergence.html
The file was modified web/entries/HyperHoareLogic.html
The file was modified web/entries/Hypergraph_Colourings.html
The file was modified web/entries/Labeled_Transition_Systems.html
The file was modified web/entries/List_Update.html
The file was modified web/entries/OmegaCatoidsQuantales.html
The file was modified web/entries/Polygonal_Number_Theorem.html
The file was modified web/entries/Prim_Dijkstra_Simple.html
The file was modified web/entries/Propositional_Proof_Systems.html
The file was modified web/entries/Pushdown_Systems.html
The file was modified web/entries/Quantales_Converse.html
The file was modified web/entries/Relational_Cardinality.html
The file was modified web/entries/S_Finite_Measure_Monad.html
The file was modified web/entries/Standard_Borel_Spaces.html
The file was modified web/entries/Transport.html
The file was modified web/entries/Undirected_Graph_Theory.html
The file was modified web/entries/Wieferich_Kempner.html
The file was modified web/entries/index.html
The file was modified web/entries/index.xml
The file was modified web/index.html
The file was modified web/index.json
The file was modified web/index.xml
The file was modified web/sessions/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/topics/computer-science/algorithms/graph/index.html
The file was modified web/topics/computer-science/algorithms/graph/index.xml
The file was modified web/topics/computer-science/algorithms/index.xml
The file was modified web/topics/computer-science/algorithms/randomized/index.html
The file was modified web/topics/computer-science/algorithms/randomized/index.xml
The file was modified web/topics/computer-science/index.xml
The file was modified web/topics/index.html
Changeset 14338:723a41153e9f by Manuel Eberl _manuel@pruvisto.org_:
new entry: Derandomization_Conditional_Expectations
The file was addedthys/Derandomization_Conditional_Expectations/Derandomization_Conditional_Expectations_Cut.thy
The file was addedthys/Derandomization_Conditional_Expectations/Derandomization_Conditional_Expectations_Independent_Set.thy
The file was addedthys/Derandomization_Conditional_Expectations/Derandomization_Conditional_Expectations_Preliminary.thy
The file was addedthys/Derandomization_Conditional_Expectations/ROOT
The file was addedthys/Derandomization_Conditional_Expectations/document/root.bib
The file was addedthys/Derandomization_Conditional_Expectations/document/root.tex
The file was modified thys/ROOTS
Changeset 14337:e7d4bb782b72 by Gerwin Klein _gerwin.klein@proofcraft.systems_:
merge from afp-2023
Changeset 14336:53fe221b7f19 by paulson _lp15@cam.ac.uk_:
Oops forgot the most important page!
The file was addedweb/entries/Picks_Theorem.html
Changeset 14335:21ee86b51e7e by paulson _lp15@cam.ac.uk_:
sitegen for Picks_Theorem
The file was addedmetadata/entries/Picks_Theorem.toml
The file was addedweb/authors/binder/index.html
The file was addedweb/authors/binder/index.xml
The file was addedweb/dependencies/poincare_bendixson/index.html
The file was addedweb/dependencies/poincare_bendixson/index.xml
The file was addedweb/sessions/picks_theorem/index.html
The file was modified metadata/authors.toml
The file was modified web/authors/cordwell/index.html
The file was modified web/authors/cordwell/index.xml
The file was modified web/authors/index.html
The file was modified web/authors/index.json
The file was modified web/data/keywords.json
The file was modified web/dependencies/index.html
The file was modified web/dependencies/index.json
The file was modified web/entries/Bertrands_Postulate.html
The file was modified web/entries/Catoids.html
The file was modified web/entries/Combinatorics_Words.html
The file was modified web/entries/Efficient_Weighted_Path_Order.html
The file was modified web/entries/Euler_Partition.html
The file was modified web/entries/Fourier.html
The file was modified web/entries/Frequency_Moments.html
The file was modified web/entries/HoareForDivergence.html
The file was modified web/entries/HyperHoareLogic.html
The file was modified web/entries/Hypergraph_Colourings.html
The file was modified web/entries/List_Update.html
The file was modified web/entries/OmegaCatoidsQuantales.html
The file was modified web/entries/Poincare_Bendixson.html
The file was modified web/entries/Polygonal_Number_Theorem.html
The file was modified web/entries/Prim_Dijkstra_Simple.html
The file was modified web/entries/Propositional_Proof_Systems.html
The file was modified web/entries/Quantales_Converse.html
The file was modified web/entries/Relational_Cardinality.html
The file was modified web/entries/S_Finite_Measure_Monad.html
The file was modified web/entries/Standard_Borel_Spaces.html
The file was modified web/entries/Transport.html
The file was modified web/entries/Wieferich_Kempner.html
The file was modified web/entries/index.html
The file was modified web/entries/index.xml
The file was modified web/index.html
The file was modified web/index.json
The file was modified web/index.xml
The file was modified web/sessions/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/topics/index.html
The file was modified web/topics/mathematics/geometry/index.html
The file was modified web/topics/mathematics/geometry/index.xml
The file was modified web/topics/mathematics/index.xml
Changeset 14334:3616e05442e8 by paulson _lp15@cam.ac.uk_:
A new contribution: Pick's theorem
The file was addedthys/Picks_Theorem/Elementary_Triangle_Area.thy
The file was addedthys/Picks_Theorem/Integral_Matrix.thy
The file was addedthys/Picks_Theorem/Linepath_Collinearity.thy
The file was addedthys/Picks_Theorem/Pick.thy
The file was addedthys/Picks_Theorem/Polygon_Convex_Lemmas.thy
The file was addedthys/Picks_Theorem/Polygon_Jordan_Curve.thy
The file was addedthys/Picks_Theorem/Polygon_Lemmas.thy
The file was addedthys/Picks_Theorem/Polygon_Splitting.thy
The file was addedthys/Picks_Theorem/ROOT
The file was addedthys/Picks_Theorem/Triangle_Lemmas.thy
The file was addedthys/Picks_Theorem/Unit_Geometry.thy
The file was addedthys/Picks_Theorem/document/root.bib
The file was addedthys/Picks_Theorem/document/root.tex
The file was modified thys/ROOTS
Changeset 14333:231cbe0c435f by gerwin klein _kleing@unsw.edu.au_:
set version to 2024
The file was modified etc/version
Changeset 14332:f1d76b443452 by wenzelm:
avoid luatex85.sty --- make it work with Ubuntu 24.04;
The file was modified thys/Bicategory/document/root.tex
The file was modified thys/LTL_Normal_Form/document/root.tex
The file was modified thys/Possibilistic_Noninterference/document/root.tex
The file was modified thys/pGCL/document/root.tex
Changeset 14331:6e56cf95cadc by wenzelm:
proper LaTeX --- make it work with Ubuntu 24.04;
The file was modified thys/LOFT/OpenFlow_Documentation.thy
Changeset 14330:d0b4938a7983 by wenzelm:
do not touch obsolete macros --- make it work with Ubuntu 24.04;
The file was modified thys/IMAP-CRDT/document/root.tex
The file was modified thys/Menger/document/root.tex
The file was modified thys/Parity_Game/document/root.tex
The file was modified thys/Tree_Decomposition/document/root.tex
Changeset 14329:37baa6e0f775 by achim d. brucker _adbrucker@0x5f.org_:
Removed obsolete LaTeX commands.
The file was modified thys/Featherweight_OCL/document/root.tex