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

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

2007-08-26	Ferruccio Guidi	proof by "introduction" (impi) implemented in full	commit \| commitdiff \| tree
2007-07-26	Ferruccio Guidi	We add a binary for computing the "heights" of helm...	commit \| commitdiff \| tree
2007-07-26	Ferruccio Guidi	makefiles updated	commit \| commitdiff \| tree
2007-07-25	Ferruccio Guidi	makefile updated	commit \| commitdiff \| tree
2007-07-25	Ferruccio Guidi	matitac: We do not generate the .moo and .lexicon of...	commit \| commitdiff \| tree
2007-07-24	Ferruccio Guidi	Makefile missing in previous commit	commit \| commitdiff \| tree
2007-07-24	Ferruccio Guidi	New developement LOGIC about the cut elimination of...	commit \| commitdiff \| tree
2007-07-23	Ferruccio Guidi	auto vs autobatch fixed	commit \| commitdiff \| tree
2007-07-23	Ferruccio Guidi	autobatch parameters reajusted	commit \| commitdiff \| tree
2007-07-22	Ferruccio Guidi	Procedural: the statement body and it inner types must...	commit \| commitdiff \| tree
2007-07-20	Ferruccio Guidi	acic_procedural: bug fix:	commit \| commitdiff \| tree
2007-07-19	Ferruccio Guidi	cicUtil : new test function "is_sober" to test...	commit \| commitdiff \| tree
2007-07-18	Ferruccio Guidi	the predicate for elim was not built correctly when...	commit \| commitdiff \| tree
2007-07-14	Ferruccio Guidi	new definitions and new theorems	commit \| commitdiff \| tree
2007-07-11	Ferruccio Guidi	native dependences fixed	commit \| commitdiff \| tree
2007-07-10	Ferruccio Guidi	persistent inner types are now generated in publishing...	commit \| commitdiff \| tree
2007-07-09	Ferruccio Guidi	new configuration file sample	commit \| commitdiff \| tree
2007-07-09	Ferruccio Guidi	tassi: ported to the new DB architecture.	commit \| commitdiff \| tree
2007-06-27	Ferruccio Guidi	svn:ignore property set	commit \| commitdiff \| tree
2007-06-26	Ferruccio Guidi	some old auto yurned into autobatch	commit \| commitdiff \| tree
2007-05-20	Ferruccio Guidi	applyTransformation: added debugging information	commit \| commitdiff \| tree
2007-05-18	Ferruccio Guidi	- new devel contribs/LAMBDA-TYPES/Base-2 with the automatica...	commit \| commitdiff \| tree
2007-05-15	Ferruccio Guidi	more informations on nodes, fixed a bug on conversion...	commit \| commitdiff \| tree
2007-05-15	Ferruccio Guidi	Wrong invariant: Hypothesis (i.e. lambda-abstractions...	commit \| commitdiff \| tree
2007-05-14	Ferruccio Guidi	CSC: terrific bug fixed. Enrico commented the application...	commit \| commitdiff \| tree
2007-05-13	Ferruccio Guidi	library-auto removed from tests (too slow even in native...	commit \| commitdiff \| tree
2007-05-13	Ferruccio Guidi	CicInspect: a function for counting the nodes of a...	commit \| commitdiff \| tree
2007-05-10	Ferruccio Guidi	Procedural: clear tactics added	commit \| commitdiff \| tree
2007-05-09	Ferruccio Guidi	PrimitiveTactics: intros _ now aveilable	commit \| commitdiff \| tree
2007-05-08	Ferruccio Guidi	DoubleTypeInference: added a comment on "does_not_occur"	commit \| commitdiff \| tree
2007-05-03	Ferruccio Guidi	elim with a pattern now works correctly (hopefully)	commit \| commitdiff \| tree
2007-05-03	Ferruccio Guidi	library-auto is only tested in native code (in byte...	commit \| commitdiff \| tree
2007-05-02	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree
2007-05-01	Ferruccio Guidi	SubstTactic: bug fix	commit \| commitdiff \| tree
2007-04-29	Ferruccio Guidi	GrafiteAstPp: \n's finally fixed	commit \| commitdiff \| tree
2007-04-28	Ferruccio Guidi	AMBDA-TYPES: some improvements. subst now fully exploited	commit \| commitdiff \| tree
2007-04-27	Ferruccio Guidi	LAMBDA-TYPES: some improvements	commit \| commitdiff \| tree
2007-04-26	Ferruccio Guidi	procedural: bug fixes	commit \| commitdiff \| tree
2007-04-26	Ferruccio Guidi	bug fix in subst tactic	commit \| commitdiff \| tree
2007-04-17	Ferruccio Guidi	"end" keyword added	commit \| commitdiff \| tree
2007-04-16	Ferruccio Guidi	subst tactic put in a file on its own	commit \| commitdiff \| tree
2007-04-04	Ferruccio Guidi	alpha equivalence fixed: in the case "meta against...	commit \| commitdiff \| tree
2007-04-04	Ferruccio Guidi	alpha equivalence test factorized and moved to CicUtil	commit \| commitdiff \| tree
2007-04-02	Ferruccio Guidi	Procedural: some improvements	commit \| commitdiff \| tree
2007-04-02	Ferruccio Guidi	Procedural: refactoring	commit \| commitdiff \| tree
2007-04-02	Ferruccio Guidi	Cic2acic : added some debugging information	commit \| commitdiff \| tree
2007-03-30	Ferruccio Guidi	Optimizer: refactored according to its formal description	commit \| commitdiff \| tree
2007-03-16	Ferruccio Guidi	elim tactic: it needs two arguments, a term as well...	commit \| commitdiff \| tree
2007-03-13	Ferruccio Guidi	elim tactic: now takes a pattern instead of just a...	commit \| commitdiff \| tree
2007-03-11	Ferruccio Guidi	case to elim conversion works fine	commit \| commitdiff \| tree
2007-03-10	Ferruccio Guidi	added a test for rewrite under Pi	commit \| commitdiff \| tree
2007-03-10	Ferruccio Guidi	rewrite tactic: bug fix in rewriting under Pi's:	commit \| commitdiff \| tree
2007-03-09	Ferruccio Guidi	Procedural: 2 bug fix in eta expansion + 1 bug fix...	commit \| commitdiff \| tree
2007-03-08	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree
2007-03-07	Ferruccio Guidi	Procedural: bug fix	commit \| commitdiff \| tree
2007-03-07	Ferruccio Guidi	Relational: one file was missing :-)	commit \| commitdiff \| tree
2007-03-07	Ferruccio Guidi	Procedural : cic object preprocessor added	commit \| commitdiff \| tree
2007-03-02	Ferruccio Guidi	Procedural: now patterns for rewrite are generated...	commit \| commitdiff \| tree
2007-03-01	Ferruccio Guidi	Procedural: some improvements	commit \| commitdiff \| tree
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
next

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

RSS Atom