matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 791b0dc) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 15 May 2012 16:11:07 +0000 (16:11 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 15 May 2012 16:11:07 +0000 (16:11 +0000)
commit	bc477154d15f6979c948f9af602199af547d193e
tree	79de939dc18633182b538053ba18ab736b146de7	tree \| snapshot
parent	791b0dc201a023e772e4ba5c3da697c5ae271405	commit \| diff

we added the standard notation for True and False (logical constants)

13 files changed:

matita/matita/lib/arithmetics/nat.ma		diff \| blob \| history
matita/matita/lib/basics/core_notation.ma		diff \| blob \| history
matita/matita/lib/basics/lists/list.ma		diff \| blob \| history
matita/matita/lib/basics/logic.ma		diff \| blob \| history
matita/matita/lib/basics/sets.ma		diff \| blob \| history
matita/matita/lib/basics/types.ma		diff \| blob \| history
matita/matita/lib/formal_topology/basic_topologies_to_o-basic_topologies.ma		diff \| blob \| history
matita/matita/lib/formal_topology/cprop_connectives.ma		diff \| blob \| history
matita/matita/lib/formal_topology/o-algebra.ma		diff \| blob \| history
matita/matita/lib/formal_topology/relations.ma		diff \| blob \| history
matita/matita/lib/formal_topology/relations_to_o-algebra.ma		diff \| blob \| history
matita/matita/lib/re/lang.ma		diff \| blob \| history
matita/matita/lib/re/reb.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.