Leonardo de Moura e602ac873a feat(library/init): modify && and || precedence ... The idea is to match the precedence used in regular programming languages, where `x = y || x = z` is parsed as `(x = y) || (x = z)`. This commit also adds `!x` as notation for `bnot x`		2018-04-26 13:40:57 -07:00
..
array	refactor(library): keep only basic nat theorems	2018-04-11 16:47:54 -07:00
bool	feat(library/init): modify && and || precedence	2018-04-26 13:40:57 -07:00
char	refactor(library): keep only basic nat theorems	2018-04-11 16:47:54 -07:00
fin	feat(library/init/data): add uint16 and make sure uint* - uses wraparound semantics like most programming languages	2018-04-20 18:27:13 -07:00
int	chore(library/init/data/nat): remove dependency	2018-04-10 15:48:13 -07:00
list	feat(library/init): modify && and || precedence	2018-04-26 13:40:57 -07:00
nat	refactor(library): keep only basic nat theorems	2018-04-11 16:47:54 -07:00
option	chore(library/init/data/option/basic): dead code	2018-04-25 17:19:11 -07:00
ordering	chore(*): remove algebra	2018-04-10 15:53:14 -07:00
rbmap	chore(library/init/data/rbmap): add missing file	2017-11-19 19:49:36 -08:00
rbtree	feat(library/init/data/rbtree): add rbtree.seteq	2018-04-25 16:13:38 -07:00
sigma	refactor(frontends/lean/tactic_notation): rename note/define tactics to have/let	2017-06-22 08:03:23 -07:00
string	refactor(library): keep only basic nat theorems	2018-04-11 16:47:54 -07:00
subtype	feat(init/data/subtype): add subtype.eta	2017-05-27 04:13:59 -04:00
sum	feat(frontends/lean): no global universes in the frontend	2017-02-08 17:23:04 -08:00
basic.lean	feat(library/init): modify && and || precedence	2018-04-26 13:40:57 -07:00
default.lean	refactor(library): keep only basic nat theorems	2018-04-11 16:47:54 -07:00
prod.lean	feat(init): some simp lemmas	2018-03-01 16:07:52 +01:00
punit.lean	refactor(library/init/core,library/init/unit): make unit an abbreviation of punit.{0}	2018-03-27 10:33:04 -07:00
quot.lean	feat(init/data/quot): show that quot is the quotient by the generated equivalence	2017-05-27 04:14:00 -04:00
repr.lean	feat(library/init): modify && and || precedence	2018-04-26 13:40:57 -07:00
set.lean	refactor(init/category/functor): merge has_map into functor	2018-03-20 14:58:36 -07:00
setoid.lean	fix(library/init/data/setoid): fix redundant parameter	2018-01-28 15:49:35 -08:00
to_string.lean	feat(library/init): modify && and || precedence	2018-04-26 13:40:57 -07:00
uint.lean	feat(library/init/data): add uint16 and make sure uint* - uses wraparound semantics like most programming languages	2018-04-20 18:27:13 -07:00