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

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

2007-03-01	Ferruccio Guidi	procedural proof of ty3_gen_cast	commit \| commitdiff \| tree
2007-02-27	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree
2007-02-27	Ferruccio Guidi	- Procedural: some improvements	commit \| commitdiff \| tree
2007-02-26	Ferruccio Guidi	decompose: delta-expansion of the type to eliminate...	commit \| commitdiff \| tree
2007-02-25	Ferruccio Guidi	RELATIONAL: new undecomposable definition of NLE	commit \| commitdiff \| tree
2007-02-21	Ferruccio Guidi	decompose now works without premises	commit \| commitdiff \| tree
2007-02-21	Ferruccio Guidi	procedural : some improvements.	commit \| commitdiff \| tree
2007-02-20	Ferruccio Guidi	acic_procedural: changed module compilation order	commit \| commitdiff \| tree
2007-02-19	Ferruccio Guidi	Unified-Sub: lift_comm completed	commit \| commitdiff \| tree
2007-02-17	Ferruccio Guidi	contribs: some improvements	commit \| commitdiff \| tree
2007-02-15	Ferruccio Guidi	contribs: some improvements	commit \| commitdiff \| tree
2007-02-15	Ferruccio Guidi	refactoring	commit \| commitdiff \| tree
2007-02-14	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree
2007-02-14	Ferruccio Guidi	Procedural : some improvements	commit \| commitdiff \| tree
2007-02-12	Ferruccio Guidi	LexiconAstPp: fixed syntax for include	commit \| commitdiff \| tree
2007-02-12	Ferruccio Guidi	unified: some theorems on Lift started	commit \| commitdiff \| tree
2007-02-11	Ferruccio Guidi	Unified: INC and BEq removed	commit \| commitdiff \| tree
2007-02-09	Ferruccio Guidi	added option -dump to matitac for persistent macro...	commit \| commitdiff \| tree
2007-02-08	Ferruccio Guidi	developments fixup	commit \| commitdiff \| tree
2007-02-08	Ferruccio Guidi	Unified refactored	commit \| commitdiff \| tree
2007-02-08	Ferruccio Guidi	definitions fixup	commit \| commitdiff \| tree
2007-02-08	Ferruccio Guidi	fix dependences for matita	commit \| commitdiff \| tree
2007-02-07	Ferruccio Guidi	LAMBDA-TYPES: refactored	commit \| commitdiff \| tree
2007-02-07	Ferruccio Guidi	refactoring	commit \| commitdiff \| tree
2007-02-07	Ferruccio Guidi	Level-1 refactored	commit \| commitdiff \| tree
2007-02-07	Ferruccio Guidi	refactoring	commit \| commitdiff \| tree
2007-02-07	Ferruccio Guidi	refactoring	commit \| commitdiff \| tree
2007-02-06	Ferruccio Guidi	- Procedural: moved in a directory on its own	commit \| commitdiff \| tree
2007-02-02	Ferruccio Guidi	added preamble file in LambdaDelta and improved theory...	commit \| commitdiff \| tree
2007-02-02	Ferruccio Guidi	The baseuris changed	commit \| commitdiff \| tree
2007-02-01	Ferruccio Guidi	Level-1: regenerated with differnt baseuris	commit \| commitdiff \| tree
2007-01-31	Ferruccio Guidi	methods eos, goto, advance and retract now catch Invalid_arg...	commit \| commitdiff \| tree
2007-01-24	Ferruccio Guidi	tactics.mli: regenerated	commit \| commitdiff \| tree
2007-01-24	Ferruccio Guidi	matitaGui: some missing cases during disambiguation...	commit \| commitdiff \| tree
2007-01-22	Ferruccio Guidi	some patches	commit \| commitdiff \| tree
2007-01-19	Ferruccio Guidi	some updates	commit \| commitdiff \| tree
2007-01-19	Ferruccio Guidi	Unified: refactoring	commit \| commitdiff \| tree
2007-01-18	Ferruccio Guidi	Unified: refactoring	commit \| commitdiff \| tree
2007-01-18	Ferruccio Guidi	Unified refactoring	commit \| commitdiff \| tree
2007-01-18	Ferruccio Guidi	Unified: refactoring	commit \| commitdiff \| tree
2007-01-12	Ferruccio Guidi	procedural: added fwd rewrite in arbitrary proofs ...	commit \| commitdiff \| tree
2007-01-10	Ferruccio Guidi	procedural: buggy ast renderer fixed	commit \| commitdiff \| tree
2007-01-10	Ferruccio Guidi	attributes now in the proof status: commit 4	commit \| commitdiff \| tree
2007-01-10	Ferruccio Guidi	attributes now in the proof status: commit 3	commit \| commitdiff \| tree
2007-01-10	Ferruccio Guidi	attributes now in the proof status: commit 2	commit \| commitdiff \| tree
2007-01-10	Ferruccio Guidi	attributes now in the proof status: commit 1	commit \| commitdiff \| tree
2006-12-31	Ferruccio Guidi	some tests patched	commit \| commitdiff \| tree
2006-12-30	Ferruccio Guidi	dependence to legacy/coq.ma fixed	commit \| commitdiff \| tree
2006-12-29	Ferruccio Guidi	now we try two distinct depend files for compilation...	commit \| commitdiff \| tree
2006-12-29	Ferruccio Guidi	- tactics:	commit \| commitdiff \| tree
2006-12-24	Ferruccio Guidi	some depend files	commit \| commitdiff \| tree
2006-12-22	Ferruccio Guidi	legacy development created	commit \| commitdiff \| tree
2006-12-22	Ferruccio Guidi	- sc3/props.ma sc3/arity.ma: dependences fixed	commit \| commitdiff \| tree
2006-12-20	Ferruccio Guidi	Procedural: method "Apply" ok in forward style	commit \| commitdiff \| tree
2006-12-19	Ferruccio Guidi	Procedural: "ByInduction" method ok	commit \| commitdiff \| tree
2006-12-18	Ferruccio Guidi	Procedural: some improvements	commit \| commitdiff \| tree
2006-12-14	Ferruccio Guidi	content2Procedural.ml: "Intros+LetTac" ok	commit \| commitdiff \| tree
2006-12-13	Ferruccio Guidi	- transcript: patched to generate aliases instead of...	commit \| commitdiff \| tree
2006-12-12	Ferruccio Guidi	we parametrized CicNotationPt.obj on 'term	commit \| commitdiff \| tree
2006-12-12	Ferruccio Guidi	we started the infrastructure for the procedural rendering...	commit \| commitdiff \| tree
2006-12-09	Ferruccio Guidi	we exported some inversors from coq	commit \| commitdiff \| tree
2006-12-08	Ferruccio Guidi	new makefiles	commit \| commitdiff \| tree
2006-12-07	Ferruccio Guidi	new theorems added. does not comile well yet :(( problems...	commit \| commitdiff \| tree
2006-12-05	Ferruccio Guidi	- components: composed coercions mus be generated with...	commit \| commitdiff \| tree
2006-12-01	Ferruccio Guidi	prova.ma: baseuri fixed	commit \| commitdiff \| tree
2006-12-01	Ferruccio Guidi	some uris fixed	commit \| commitdiff \| tree
2006-11-29	Ferruccio Guidi	- new library/logic/coimplication.ma uses new decompose...	commit \| commitdiff \| tree
2006-11-29	Ferruccio Guidi	- decompose tactic: decomposable constants are now...	commit \| commitdiff \| tree
2006-11-22	Ferruccio Guidi	removed the impredicativity of falsum	commit \| commitdiff \| tree
2006-11-17	Ferruccio Guidi	helm_registry: added the pair unmarshaller	commit \| commitdiff \| tree
2006-11-17	Ferruccio Guidi	CoRN-Decl: missing file added	commit \| commitdiff \| tree
2006-11-16	Ferruccio Guidi	- transcript: patched to generate CoRN_notation.ma...	commit \| commitdiff \| tree
2006-11-16	Ferruccio Guidi	- transcript: now outputs includes and coercions correctly	commit \| commitdiff \| tree
2006-11-15	Ferruccio Guidi	new CoRN development, generated by transcript	commit \| commitdiff \| tree
2006-11-15	Ferruccio Guidi	transcript updated	commit \| commitdiff \| tree
2006-11-15	Ferruccio Guidi	removed prived CoRN configuration file :)	commit \| commitdiff \| tree
2006-11-15	Ferruccio Guidi	transcript: very alpha version.	commit \| commitdiff \| tree
2006-11-15	Ferruccio Guidi	fixed base uri	commit \| commitdiff \| tree
2006-11-11	Ferruccio Guidi	NLE is now derived fron NPlus rather than being a stand...	commit \| commitdiff \| tree
2006-10-29	Ferruccio Guidi	Level-1/LambdaDelta now compiles fine	commit \| commitdiff \| tree
2006-10-25	Ferruccio Guidi	till some patches	commit \| commitdiff \| tree
2006-10-25	Ferruccio Guidi	the incomplete proofs were axiomatized	commit \| commitdiff \| tree
2006-10-25	Ferruccio Guidi	some patches. still does not compile properly	commit \| commitdiff \| tree
2006-10-25	Ferruccio Guidi	we removed about 100 match-with costruction turning...	commit \| commitdiff \| tree
2006-10-17	Ferruccio Guidi	new objects for the LambdaDelta development (4th conjecture...	commit \| commitdiff \| tree
2006-10-17	Ferruccio Guidi	more new objects for the LambdaDelta contribution	commit \| commitdiff \| tree
2006-10-12	Ferruccio Guidi	files with newest objects (to be included in the respective...	commit \| commitdiff \| tree
2006-10-10	Ferruccio Guidi	makefiles fixups	commit \| commitdiff \| tree
2006-10-03	Ferruccio Guidi	updated to use destruct instead of disciminate/injection	commit \| commitdiff \| tree
2006-09-18	Ferruccio Guidi	last problem elegantly resolved!	commit \| commitdiff \| tree
2006-09-15	Ferruccio Guidi	useless files removed	commit \| commitdiff \| tree
2006-09-15	Ferruccio Guidi	exportation completed!!	commit \| commitdiff \| tree
2006-09-14	Ferruccio Guidi	ok up to pc1	commit \| commitdiff \| tree
2006-09-13	Ferruccio Guidi	ok up to pr3	commit \| commitdiff \| tree
2006-09-13	Ferruccio Guidi	- ok pr0 pr1 pr2	commit \| commitdiff \| tree
2006-09-10	Ferruccio Guidi	ok up to arity assignment	commit \| commitdiff \| tree
2006-09-10	Ferruccio Guidi	one problem still remains	commit \| commitdiff \| tree
2006-09-10	Ferruccio Guidi	3 problems solved patching the alpha-conversion of...	commit \| commitdiff \| tree
2006-09-08	Ferruccio Guidi	removing unnecessary files	commit \| commitdiff \| tree
2006-09-08	Ferruccio Guidi	- some theorems from levels_defs	commit \| commitdiff \| tree
next

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

RSS Atom