lean2/library/logic/logic.md

logic
=====

Logical constructions and axioms. By default, `import logic` does not
import any additional axioms.

* [core](core/core.md) : logical connectives
* [axioms](axioms/axioms.md) : additional axioms
* [classes](classes/classes.md) : classes for inhabited types, 
decidable types, etc.  
* [examples](examples/examples.md)
feat(library/standard): add markdown documentation 2014-08-01 10:37:55 -07:00			`logic`
			`=====`

fix(library): correct markdown directories, revise defaults for logic and data 2014-08-24 18:11:56 -07:00			Logical constructions and axioms. By default, `import logic` does not
			`import any additional axioms.`
feat(library/standard): add markdown documentation 2014-08-01 10:37:55 -07:00
refactor(library/logic): rename connectives -> core, basic -> connectives 2014-08-27 21:39:55 -04:00			`* [core](core/core.md) : logical connectives`
feat(library/standard): add markdown documentation 2014-08-01 10:37:55 -07:00			`* [axioms](axioms/axioms.md) : additional axioms`
fix(library): correct markdown directories, revise defaults for logic and data 2014-08-24 18:11:56 -07:00			`* [classes](classes/classes.md) : classes for inhabited types,`
			`decidable types, etc.`
refactor(lean/examples/constable.lean): move to library/standard/logic/examples/nuprl_examples.lean 2014-08-22 18:10:22 -07:00			`* [examples](examples/examples.md)`