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

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

2004-12-02	Enrico Tassi	sync with universes and ~subst (and not ?(subst=[]))	commit \| commitdiff \| tree
2004-12-01	Enrico Tassi	Added universes handling. Tag PRE_UNIVERSES may help ;)	commit \| commitdiff \| tree
2004-12-01	Enrico Tassi	Added universes handling. The PRE_UNIVERSES tag may...	commit \| commitdiff \| tree
2004-06-02	Enrico Tassi	fix for proofEngineTypes.mli	commit \| commitdiff \| tree
2004-06-01	Enrico Tassi	new universes implementation	commit \| commitdiff \| tree
2004-04-23	Enrico Tassi	Universes introduction	commit \| commitdiff \| tree
2004-04-22	Enrico Tassi	Big bug fixed: in the case t <?= ?1, the instantiation...	commit \| commitdiff \| tree
2004-04-22	Enrico Tassi	fourier.mli addedto interface files.	commit \| commitdiff \| tree
2002-11-04	Enrico Tassi	bug found:	commit \| commitdiff \| tree
2002-10-25	Enrico Tassi	Now esempi/fourier.cic end with a proof!	commit \| commitdiff \| tree
2002-10-17	Enrico Tassi	- indentation is now in pseudo-functional style!	commit \| commitdiff \| tree
2002-10-17	Enrico Tassi	- rewritesimpl_tac added in fourierR.ml (wrong location)	commit \| commitdiff \| tree
2002-10-11	Enrico Tassi	More debug printings.	commit \| commitdiff \| tree
2002-10-10	Enrico Tassi	Added an example to test fourier_tac.	commit \| commitdiff \| tree
2002-10-10	Enrico Tassi	Debug printing update, now the unification bug	commit \| commitdiff \| tree
2002-10-07	Enrico Tassi	fourier_tac without useless recursion	commit \| commitdiff \| tree
2002-10-07	Enrico Tassi	hopefully last tactic update cvs log	commit \| commitdiff \| tree
2002-10-02	Enrico Tassi	tactic update	commit \| commitdiff \| tree
2002-09-19	Enrico Tassi	Tactic update	commit \| commitdiff \| tree
2002-09-18	Enrico Tassi	Tactic update	commit \| commitdiff \| tree
2002-09-13	Enrico Tassi	Fourier tactic update	commit \| commitdiff \| tree
2002-09-09	Enrico Tassi	Fourier tactic update	commit \| commitdiff \| tree
2002-09-07	Enrico Tassi	First works	commit \| commitdiff \| tree
2002-09-04	Enrico Tassi	Fourier tactic	commit \| commitdiff \| tree

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

RSS Atom