HomeIsabelle/Phabricator
Diffusion Isabelle 8089593a364a

proper file headers;
8089593a364a
Actions

Description

proper file headers;

Details

Provenance
makariusAuthored on
Parents
rISABELLE11fed9812b57: tuned messages;
Branches
Unknown
Tags
Unknown

Changes (23)

PathSize
src/
HOL/
Library/
Sum_of_Squares/
Tools/
Tools/
Mirabelle/
SMT/
Sledgehammer/
Provers/
Pure/
Admin/
General/
PIDE/

rISABELLE8089593a364a

View Options

src/HOL/Library/Sum_of_Squares/positivstellensatz.ML

Loading...
View Options

src/HOL/Library/Tools/smt_word.ML

Loading...
View Options

src/HOL/Library/Tools/word_lib.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_arith.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_metis.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_presburger.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_quickcheck.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer_filter.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_try0.ML

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_util.ML

Loading...
View Options

src/HOL/Tools/SMT/lethe_isar.ML

Loading...
View Options

src/HOL/Tools/SMT/lethe_proof.ML

Loading...
View Options

src/HOL/Tools/SMT/lethe_proof_parse.ML

Loading...
View Options

src/HOL/Tools/SMT/lethe_replay_methods.ML

Loading...
View Options

src/HOL/Tools/SMT/verit_strategies.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...
View Options

src/Provers/preorder.ML

Loading...
View Options

src/Pure/Admin/build_cvc5.scala

Loading...
View Options

src/Pure/General/base64.ML

Loading...
View Options

src/Pure/General/xz.ML

Loading...
View Options

src/Pure/PIDE/byte_message.ML

Loading...