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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 5 Sep 2007 13:50:38 +0000 (13:50 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 5 Sep 2007 13:50:38 +0000 (13:50 +0000)
commit	fdda444a05fe4c68c925cd94e4e3a38c93d0c35f
tree	22260d6e9939a44c0b6ccec2adf24b70e3e76dbb	tree \| snapshot
parent	9376f52b7f5890d924ae7d93bcae2af9e516126d	commit \| diff

- matitaInit matitaprover matitadep matitamake:
  fixed configuration precedence:
  cmdline > configuration_file > default
- core_natation:
  added notation for single step parallel reduction: =>
- LAMBDA-TYPES: some new theorems
- LOGIC: some new definitions

36 files changed:

helm/software/matita/contribs/LAMBDA-TYPES/Base-1/ext/arith.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/makefile		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/preamble.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/spare.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/types/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/preamble.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/definitions.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ex2/defs.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ex2/props.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/leq/asucc.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/leq/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/makefile		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/arity.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/defs.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/nf2/props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/pc3/fwd.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/spare.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/theory.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/arity.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/arity_props.ma		diff \| blob \| history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/nf2.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/props.ma		diff \| blob \| history
helm/software/matita/contribs/LOGIC/PNF/defs.ma	[new file with mode: 0644]	blob
helm/software/matita/contribs/LOGIC/PRed/defs.ma	[new file with mode: 0644]	blob
helm/software/matita/core_notation.moo		diff \| blob \| history
helm/software/matita/matitaInit.ml		diff \| blob \| history
helm/software/matita/matitaInit.mli		diff \| blob \| history
helm/software/matita/matitadep.ml		diff \| blob \| history
helm/software/matita/matitamake.ml		diff \| blob \| history
helm/software/matita/matitaprover.ml		diff \| blob \| history

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

RSS Atom