]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/aprem.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8da8820) | patch
LAMBDA-TYPES: added wf3 (legal context predicate);
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 26 Feb 2008 17:16:12 +0000 (17:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 26 Feb 2008 17:16:12 +0000 (17:16 +0000)
commit076f639446efce8d8cf83dcf7ca40b4376fc8c36
treea7db98db386d7a5675a2d31640f2350b9590e530tree | snapshot
parent8da8820a77f2104dd1bf17c01fa77f75ee31c8fbcommit | diff
LAMBDA-TYPES: added wf3 (legal context predicate);
              Unified-Sub removed because of its early stage
21 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/aprem/fwd.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/arity/aprem.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/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/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/clear.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/fwd.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/getl.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/wf3/ty3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Makefile diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/defs.ma [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/fun.ma [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/inv.ma [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/props.ma [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/datatypes/Context.ma [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/datatypes/Term.ma [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Unified-Sub/preamble.ma [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/root diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.