matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_refiner/nCicMetaSubst.mli

2009-05-17	Claudio Sacerdoti...	maxmeta function to return the heighest meta used so far	blob \| commitdiff \| raw
2009-05-06	Enrico Tassi	updated comment	blob \| commitdiff \| raw \| diff to current
2009-04-06	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-04-06	Enrico Tassi	unification:	blob \| commitdiff \| raw \| diff to current
2009-04-06	Enrico Tassi	snapshot	blob \| commitdiff \| raw \| diff to current
2009-04-01	Enrico Tassi	1) mk_meta now returns also the index of the created...	blob \| commitdiff \| raw \| diff to current
2008-12-05	Enrico Tassi	a few missing ~subst added to whd	blob \| commitdiff \| raw \| diff to current
2008-11-28	Enrico Tassi	metas for terms have height 3	blob \| commitdiff \| raw \| diff to current
2008-10-14	Enrico Tassi	more work	blob \| commitdiff \| raw \| diff to current
2008-10-14	Enrico Tassi	term refinement almost done, some functions exported...	blob \| commitdiff \| raw \| diff to current
2008-10-13	Enrico Tassi	initial refiner ....	blob \| commitdiff \| raw \| diff to current
2008-10-02	Enrico Tassi	we can test the unification algorithm!	blob \| commitdiff \| raw \| diff to current
2008-09-24	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-09-19	Enrico Tassi	snapshot, cicMsubst compiles	blob \| commitdiff \| raw \| diff to current
2008-09-17	Enrico Tassi	snapshot	blob \| commitdiff \| raw \| diff to current
2008-09-16	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current

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