merge
No related branches found
No related tags found
Showing
- admin/publish 2 additions, 2 deletionsadmin/publish
- admin/site/theme/layouts/shortcodes/submission.html 1 addition, 1 deletionadmin/site/theme/layouts/shortcodes/submission.html
- admin/testall 4 additions, 4 deletionsadmin/testall
- metadata/authors.toml 4 additions, 2 deletionsmetadata/authors.toml
- metadata/release-dates 1 addition, 0 deletionsmetadata/release-dates
- metadata/releases.toml 1122 additions, 0 deletionsmetadata/releases.toml
- thys/Abstract_Substitution/Functional_Substitution.thy 6 additions, 1 deletionthys/Abstract_Substitution/Functional_Substitution.thy
- thys/Abstract_Substitution/Functional_Substitution_Lifting.thy 0 additions, 5 deletions...Abstract_Substitution/Functional_Substitution_Lifting.thy
- thys/Abstract_Substitution/Natural_Functor.thy 31 additions, 3 deletionsthys/Abstract_Substitution/Natural_Functor.thy
- thys/AutoCorres2/AutoCorres_Base.thy 2 additions, 2 deletionsthys/AutoCorres2/AutoCorres_Base.thy
- thys/AutoCorres2/lib/More_Lib.thy 13 additions, 12 deletionsthys/AutoCorres2/lib/More_Lib.thy
- thys/BNF_Operations/GFP.thy 12 additions, 18 deletionsthys/BNF_Operations/GFP.thy
- thys/Binary_Code_Imprimitive/Binary_Code_Imprimitive.thy 119 additions, 99 deletionsthys/Binary_Code_Imprimitive/Binary_Code_Imprimitive.thy
- thys/Binary_Code_Imprimitive/Binary_Imprimitive_Decision.thy 3 additions, 2 deletionsthys/Binary_Code_Imprimitive/Binary_Imprimitive_Decision.thy
- thys/Binary_Code_Imprimitive/Binary_Square_Interpretation.thy 371 additions, 122 deletions.../Binary_Code_Imprimitive/Binary_Square_Interpretation.thy
- thys/Binding_Syntax_Theory/Equiv_Relation2.thy 8 additions, 7 deletionsthys/Binding_Syntax_Theory/Equiv_Relation2.thy
- thys/CAVA_Automata/Digraph_Basic.thy 1 addition, 1 deletionthys/CAVA_Automata/Digraph_Basic.thy
- thys/Card_Equiv_Relations/Card_Partial_Equiv_Relations.thy 13 additions, 13 deletionsthys/Card_Equiv_Relations/Card_Partial_Equiv_Relations.thy
- thys/Category_Set/Cfunc.thy 4 additions, 2 deletionsthys/Category_Set/Cfunc.thy
- thys/Chebyshev_Polynomials/Polynomial_Transfer.thy 2 additions, 1 deletionthys/Chebyshev_Polynomials/Polynomial_Transfer.thy
Loading
Please register or sign in to comment