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	15d6dc1249038e9235bb0f776f2c5ae0b37f17f1
tree	90495dc35d392a4a34e89088d8d02546bfbb0c9c	tree \| snapshot
parent	033ef07477e15b36c2865f91c0ccf139a66e6fd7	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:

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

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

RSS Atom