-------------------------------------------------------------------------------
Axioms 1150 sets (101 abstract, 127 CNF, 1023 FOF)
-------------------------------------------------------------------------------
AGT001 ( -0 +3) CPlanT system
ALG001 ( -1 +0) Abstract algebra axioms, based on Godel set theory
ALG002 ( -0 +1) Median algebra axioms
ANA001 ( -1 +0) Analysis (limits) axioms for continuous functions
ANA002 ( -1 +0) Analysis (limits) axioms for continuous functions
ANA003 ( -1 +0) A theory of Big-O notation
BOO001 ( -1 +0) Ternary Boolean algebra (equality) axioms
BOO002 ( -1 +0) Boolean algebra axioms
BOO003 ( -1 +0) Boolean algebra (equality) axioms
BOO004 ( -1 +0) Boolean algebra (equality) axioms
CAT001 ( -1 +0) Category theory axioms
CAT002 ( -1 +0) Category theory (equality) axioms
CAT003 ( -1 +0) Category theory axioms
CAT004 ( -1 +0) Category theory axioms
COL001 ( -1 +0) Type-respecting combinators
COL002 ( -2 +0) Combinators
CSR001 ( -0 +4) Standard discrete event calculus axioms
CSR002 ( -0 +6) 0 axioms from Cyc
CSR003 ( -0+26) Merge
FLD001 ( -1 +0) Ordered field axioms (axiom formulation glxx)
FLD002 ( -1 +0) Ordered field axioms (axiom formulation re)
GEO001 ( -2 +0) Tarski geometry axioms
GEO002 ( -4 +0) Tarski geometry axioms
GEO003 ( -1 +0) Hilbert geometry axioms
GEO004 ( -4 +4) Simple curve axioms
GEO005 ( -1 +0) Hilbert geometry axioms, adapted to respect multi-sortedness
GEO006 ( -0 +6) Apartness geometry
GEO007 ( -0 +2) Ordered affine geometry
GEO008 ( -0 +1) Apartness geometry
GRA001 ( -0 +1) Directed graphs and paths
GRP001 ( -1 +0) Monoid axioms
GRP002 ( -1 +0) Semigroup axioms
GRP003 ( -3 +1) Group theory axioms
GRP004 ( -3 +1) Group theory (equality) axioms
GRP005 ( -1 +0) Group theory axioms
GRP006 ( -1 +0) Group theory (Named groups) axioms
GRP007 ( -0 +1) Group theory (Named Semigroups) axioms
GRP008 ( -2 +0) Semigroups axioms
HAL001 ( -0 +1) Standard homological algebra axioms
HEN001 ( -1 +0) Henkin model axioms
HEN002 ( -1 +0) Henkin model axioms
HEN003 ( -1 +0) Henkin model (equality) axioms
HWC001 ( -1 +0) Definitions of AND, OR and NOT
HWC002 ( -1 +0) Definitions of AND, OR and NOT
HWV001 ( -3 +0) Connections, faults, and gates.
HWV002 ( -3 +0) Connections, faults, and gates.
HWV003 ( -1 +0) Axioms from a VHDL design description
HWV004 ( -1 +0) Axioms from a VHDL design description
LAT001 ( -5 +0) Lattice theory (equality) axioms
LAT002 ( -1 +0) Lattice theory axioms
LAT003 ( -1 +0) Ortholattice theory (equality) axioms
LAT004 ( -1 +0) Quasilattice theory (equality) axioms
LAT005 ( -1 +0) Weakly Associative Lattices theory (equality) axioms
LAT006 ( -3 +0) Tarski's fixed point theorem (equality) axioms
LCL001 ( -3 +0) Wajsberg algebra axioms
LCL002 ( -2 +0) Alternative Wajsberg algebra axioms
LCL003 ( -1 +0) Propositional logic deduction axioms
LCL004 ( -3 +0) Propositional logic deduction axioms
LCL005 ( -1 +0) Propositional logic 
LCL006 ( -0 +6) Propositional logic rules and axioms
LCL007 ( -0 +7) Propositional modal logic rules and axioms
LDA001 ( -1 +0) Embedding algebra axioms
MED001 ( -0 +2) Physiology Diabetes Mellitus type 2
MGT001 ( -1 +1) Inequalities.
MSC001 ( -3 +0) Sets, numbers, lists, etc, that make up the Isabelle/HOL library
NUM001 ( -3 +0) Number theory axioms
NUM002 ( -1 +0) Number theory (equality) axioms
NUM003 ( -1 +0) Number theory axioms, based on Godel set theory
NUM004 ( -1 +0) Number theory (ordinals) axioms, based on NBG set theory
NUM005 ( -0 +3) Translating from nXXX to rdn notation
PLA001 ( -2 +0) Blocks world axioms
PLA002 ( -0 +1) Blocks world axioms
PUZ001 ( -1 +0) Mars and Venus axioms
PUZ002 ( -1 +0) Truthtellers and Liars axioms for two types of people
PUZ003 ( -1 +0) Truthtellers and Liars axioms for three types of people
PUZ004 ( -1 +0) Quo vadis axioms
PUZ005 ( -1 +1) Sudoku axioms
PUZ006 ( -0 +1) Sudoku axioms
RNG001 ( -1 +0) Ring theory axioms
RNG002 ( -1 +0) Ring theory (equality) axioms
RNG003 ( -1 +0) Alternative ring theory (equality) axioms
RNG004 ( -1 +0) Alternative ring theory (equality) axioms
RNG005 ( -1 +0) Ring theory (equality) axioms
ROB001 ( -2 +0) Robbins algebra axioms
SET001 ( -4 +0) Set theory membership and subsets axioms
SET002 ( -1 +0) Set theory axioms
SET003 ( -1 +0) Set theory axioms based on Godel set theory
SET004 ( -2 +0) Set theory axioms based on NBG set theory
SET005 ( -0 +1) Set theory axioms based on NBG set theory
SET006 ( -0 +5) Naive set theory axioms based on Goedel's set theory
SET007 ( -0+930) Mizar Built-in Notions
SWC001 ( -1 +1) List specification
SWV001 ( -1 +0) Program verification axioms
SWV002 ( -1 +0) Program verification axioms
SWV003 ( -0 +1) NASA software certification axioms
SWV004 ( -1 +0) Cryptographic protocol axioms for messages
SWV005 ( -8 +0) Cryptographic protocol axioms for messages
SWV006 ( -4 +0) Cryptographic protocol axioms for public
SWV007 ( -0 +5) Priority queue checker: quasi-order set with bottom element
SYN001 ( -1 +0) Synthetic domain theory for EBL
TOP001 ( -1 +0) Point-set topology axioms
