merge from afp-2024
No related branches found
No related tags found
Showing
- metadata/authors.toml 7 additions, 7 deletionsmetadata/authors.toml
- metadata/entries/FOL_Compactness.toml 39 additions, 0 deletionsmetadata/entries/FOL_Compactness.toml
- thys/FOL_Compactness/Bumping.thy 323 additions, 0 deletionsthys/FOL_Compactness/Bumping.thy
- thys/FOL_Compactness/Canonical_Models.thy 518 additions, 0 deletionsthys/FOL_Compactness/Canonical_Models.thy
- thys/FOL_Compactness/FOL_Semantics.thy 451 additions, 0 deletionsthys/FOL_Compactness/FOL_Semantics.thy
- thys/FOL_Compactness/FOL_Syntax.thy 534 additions, 0 deletionsthys/FOL_Compactness/FOL_Syntax.thy
- thys/FOL_Compactness/Ground_FOL_Compactness.thy 189 additions, 0 deletionsthys/FOL_Compactness/Ground_FOL_Compactness.thy
- thys/FOL_Compactness/Prenex_Normal_Form.thy 888 additions, 0 deletionsthys/FOL_Compactness/Prenex_Normal_Form.thy
- thys/FOL_Compactness/ROOT 15 additions, 0 deletionsthys/FOL_Compactness/ROOT
- thys/FOL_Compactness/Skolem_Normal_Form.thy 1077 additions, 0 deletionsthys/FOL_Compactness/Skolem_Normal_Form.thy
- thys/FOL_Compactness/document/root.bib 10 additions, 0 deletionsthys/FOL_Compactness/document/root.bib
- thys/FOL_Compactness/document/root.tex 24 additions, 0 deletionsthys/FOL_Compactness/document/root.tex
- thys/ROOTS 1 addition, 0 deletionsthys/ROOTS
- web/authors/paulson/index.html 12 additions, 0 deletionsweb/authors/paulson/index.html
- web/authors/paulson/index.xml 7 additions, 0 deletionsweb/authors/paulson/index.xml
- web/authors/tourret/index.html 15 additions, 2 deletionsweb/authors/tourret/index.html
- web/authors/tourret/index.xml 7 additions, 0 deletionsweb/authors/tourret/index.xml
- web/data/keywords.json 4 additions, 0 deletionsweb/data/keywords.json
- web/entries/FOL_Compactness.html 196 additions, 0 deletionsweb/entries/FOL_Compactness.html
- web/entries/First_Order_Terms.html 1 addition, 0 deletionsweb/entries/First_Order_Terms.html
Loading
Please register or sign in to comment