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

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

2006-09-04	Ferruccio Guidi	other working theorems + iso_trans axiomatized (proof...	commit \| commitdiff \| tree
2006-09-04	Ferruccio Guidi	firs error: iso/props	commit \| commitdiff \| tree
2006-09-04	Ferruccio Guidi	the in clause of the match costruction was wrongly...	commit \| commitdiff \| tree
2006-09-04	Ferruccio Guidi	new organization of the Base and LambdaDelta modules	commit \| commitdiff \| tree
2006-09-04	Ferruccio Guidi	moving files	commit \| commitdiff \| tree
2006-09-02	Ferruccio Guidi	LambdaDelta.ma and some slices of it that typecheck ok!	commit \| commitdiff \| tree
2006-09-01	Ferruccio Guidi	new problem:	commit \| commitdiff \| tree
2006-09-01	Ferruccio Guidi	Base.ma now ok!!	commit \| commitdiff \| tree
2006-08-31	Ferruccio Guidi	- semantics of tactic subst allmost fixed	commit \| commitdiff \| tree
2006-08-31	Ferruccio Guidi	fixing the semantics of subst	commit \| commitdiff \| tree
2006-08-30	Ferruccio Guidi	a bit of improvement	commit \| commitdiff \| tree
2006-08-29	Ferruccio Guidi	aliases removed	commit \| commitdiff \| tree
2006-08-29	Ferruccio Guidi	added a preamble file with disambiguation information	commit \| commitdiff \| tree
2006-08-29	Ferruccio Guidi	- new tactic subst removes simple non recursive equalities...	commit \| commitdiff \| tree
2006-08-29	Ferruccio Guidi	test file with some bugs	commit \| commitdiff \| tree
2006-08-28	Ferruccio Guidi	- Level-1: some problems solved	commit \| commitdiff \| tree
2006-08-28	Ferruccio Guidi	- Level-1: some fixes to the extraction procedure	commit \| commitdiff \| tree
2006-08-27	Ferruccio Guidi	- makefile added	commit \| commitdiff \| tree
2006-08-27	Ferruccio Guidi	- record constructor alpha-converted	commit \| commitdiff \| tree
2006-08-27	Ferruccio Guidi	- Level-1: added two problems	commit \| commitdiff \| tree
2006-08-26	Ferruccio Guidi	- Level-1: added some problems	commit \| commitdiff \| tree
2006-08-26	Ferruccio Guidi	- changed baseuri	commit \| commitdiff \| tree
2006-08-26	Ferruccio Guidi	- removed () around sorts	commit \| commitdiff \| tree
2006-08-26	Ferruccio Guidi	- added some aliases	commit \| commitdiff \| tree
2006-08-26	Ferruccio Guidi	changed baseuri	commit \| commitdiff \| tree
2006-08-26	Ferruccio Guidi	- added problem 2	commit \| commitdiff \| tree
2006-08-26	Ferruccio Guidi	- Unified : some definitions of unified \lambda...	commit \| commitdiff \| tree
2006-08-25	Ferruccio Guidi	trying to make output notation parsable	commit \| commitdiff \| tree
2006-08-24	Ferruccio Guidi	some properties of NLE	commit \| commitdiff \| tree
2006-08-24	Ferruccio Guidi	- new legature == for \equiv used in the notation for...	commit \| commitdiff \| tree
2006-08-23	Ferruccio Guidi	new naming	commit \| commitdiff \| tree
2006-08-23	Ferruccio Guidi	removing old contrib dir	commit \| commitdiff \| tree
2006-08-23	Ferruccio Guidi	changing the contribution name	commit \| commitdiff \| tree
2006-08-23	Ferruccio Guidi	new naming	commit \| commitdiff \| tree
2006-08-20	Ferruccio Guidi	new naming	commit \| commitdiff \| tree
2006-08-20	Ferruccio Guidi	new definitions	commit \| commitdiff \| tree
2006-08-20	Ferruccio Guidi	new naming	commit \| commitdiff \| tree
2006-07-11	Ferruccio Guidi	dependences updated again :)	commit \| commitdiff \| tree
2006-07-11	Ferruccio Guidi	updated dependences	commit \| commitdiff \| tree
2006-06-29	Ferruccio Guidi	"linear" keyword inserted (used by lapply)	commit \| commitdiff \| tree
2006-06-28	Ferruccio Guidi	- "linear" flag added to lapply (automatic clearing)	commit \| commitdiff \| tree
2006-06-27	Ferruccio Guidi	- decompose now runs with no arguments (operates on...	commit \| commitdiff \| tree
2006-06-27	Ferruccio Guidi	file names patched	commit \| commitdiff \| tree
2006-06-27	Ferruccio Guidi	patched	commit \| commitdiff \| tree
2006-06-21	Ferruccio Guidi	forgotten commit	commit \| commitdiff \| tree
2006-06-21	Ferruccio Guidi	RELATIONAL-ARITHMETICS updated	commit \| commitdiff \| tree
2006-06-20	Ferruccio Guidi	- fwd concrete syntax fixed	commit \| commitdiff \| tree
2006-06-20	Ferruccio Guidi	- added some documentation on the fwd tatcic	commit \| commitdiff \| tree
2006-06-19	Ferruccio Guidi	axioms removed	commit \| commitdiff \| tree
2006-06-19	Ferruccio Guidi	hack to allow (**)	commit \| commitdiff \| tree
2006-06-16	Ferruccio Guidi	contribution on relational arithmetics started	commit \| commitdiff \| tree
2006-06-11	Ferruccio Guidi	fix in the development page	commit \| commitdiff \| tree
2006-06-11	Ferruccio Guidi	- slight fix in lapply syntax	commit \| commitdiff \| tree
2006-06-10	Ferruccio Guidi	new documentation for the decompose tactic	commit \| commitdiff \| tree
2006-02-23	Ferruccio Guidi	information on current compilation state added in each...	commit \| commitdiff \| tree
2006-02-20	Ferruccio Guidi	class definition updated (but buggy now)	commit \| commitdiff \| tree
2006-01-10	Ferruccio Guidi	cle introduced; ceq fixed	commit \| commitdiff \| tree
2005-11-28	Ferruccio Guidi	coa continued	commit \| commitdiff \| tree
2005-11-26	Ferruccio Guidi	coimplication (continued)	commit \| commitdiff \| tree
2005-11-26	Ferruccio Guidi	the coimplication connective (start)	commit \| commitdiff \| tree
2005-11-21	Ferruccio Guidi	internal quantification fixed	commit \| commitdiff \| tree
2005-11-19	Ferruccio Guidi	theorems about equality in classes	commit \| commitdiff \| tree
2005-11-19	Ferruccio Guidi	some definitions about subsets	commit \| commitdiff \| tree
2005-11-19	Ferruccio Guidi	some renaming	commit \| commitdiff \| tree
2005-11-16	Ferruccio Guidi	predicative subsets started	commit \| commitdiff \| tree
2005-11-16	Ferruccio Guidi	universal quantifier added	commit \| commitdiff \| tree
2005-11-14	Ferruccio Guidi	contribs/PREDICATIVE-TOPOLOGY added as test directory	commit \| commitdiff \| tree
2005-10-29	Ferruccio Guidi	Aczel categories finished	commit \| commitdiff \| tree
2005-10-18	Ferruccio Guidi	definition of eq improved (?) parametrizing an argument	commit \| commitdiff \| tree
2005-10-13	Ferruccio Guidi	more comments added	commit \| commitdiff \| tree
2005-10-12	Ferruccio Guidi	tlt_defs: notation updated	commit \| commitdiff \| tree
2005-09-05	Ferruccio Guidi	LAMBDA-TYPES moved under contribs	commit \| commitdiff \| tree
2005-07-25	Ferruccio Guidi	some more changes and corrections	commit \| commitdiff \| tree
2005-07-19	Ferruccio Guidi	patched	commit \| commitdiff \| tree
2005-07-19	Ferruccio Guidi	the decompose tactic is now working	commit \| commitdiff \| tree
2005-07-15	Ferruccio Guidi	some reorganization and some corrections	commit \| commitdiff \| tree
2005-07-15	Ferruccio Guidi	some reorganization and some corrections	commit \| commitdiff \| tree
2005-07-15	Ferruccio Guidi	some reorganization and some corrections	commit \| commitdiff \| tree
2005-07-07	Ferruccio Guidi	another bug of auto	commit \| commitdiff \| tree
2005-07-06	Ferruccio Guidi	fix please	commit \| commitdiff \| tree
2005-07-05	Ferruccio Guidi	name specifications added for elim_intros, elim_intros_simpl...	commit \| commitdiff \| tree
2005-07-05	Ferruccio Guidi	id ;-) and lapply patched	commit \| commitdiff \| tree
2005-06-30	Ferruccio Guidi	lapply and fwd improved	commit \| commitdiff \| tree
2005-06-29	Ferruccio Guidi	lapply reimplemented using letin_tac	commit \| commitdiff \| tree
2005-06-28	Ferruccio Guidi	lapply improved	commit \| commitdiff \| tree
2005-06-28	Ferruccio Guidi	lapply improved	commit \| commitdiff \| tree
2005-06-25	Ferruccio Guidi	first working (?) version of lapply	commit \| commitdiff \| tree
2005-06-25	Ferruccio Guidi	firs wrking (?) version of lapply	commit \| commitdiff \| tree
2005-06-24	Ferruccio Guidi	lapply tactic continued	commit \| commitdiff \| tree
2005-06-15	Ferruccio Guidi	support for the new tactics lapply and fwd	commit \| commitdiff \| tree
2005-06-15	Ferruccio Guidi	beginning of the tactics lapply and fwd	commit \| commitdiff \| tree
2005-06-07	Ferruccio Guidi	control of dependences improved	commit \| commitdiff \| tree
2005-06-04	Ferruccio Guidi	a contribution about subset theory in an intuitionistic...	commit \| commitdiff \| tree
2005-06-03	Ferruccio Guidi	contribution about \lambda-\delta	commit \| commitdiff \| tree
2005-05-25	Ferruccio Guidi	some work for Gares	commit \| commitdiff \| tree
2005-05-06	Ferruccio Guidi	The README file was patched	commit \| commitdiff \| tree
2005-05-06	Ferruccio Guidi	Toolbox: preliminary version	commit \| commitdiff \| tree
2005-04-08	Ferruccio Guidi	the description file was patched	commit \| commitdiff \| tree
2005-04-01	Ferruccio Guidi	initial version of the "lambda-delta" calculus including:	commit \| commitdiff \| tree
2004-09-17	Ferruccio Guidi	meta_closed added	commit \| commitdiff \| tree
next

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

RSS Atom