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

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

2006-04-26	Andrea Asperti	Build_proof_goal does not return the metasenv any more.	commit \| commitdiff \| tree
2006-04-26	Andrea Asperti	fixed demodulation_goal (used to return always false)	commit \| commitdiff \| tree
2006-04-26	Andrea Asperti	removed ocaml equality on equations	commit \| commitdiff \| tree
2006-04-10	Andrea Asperti	Removed negative equations.	commit \| commitdiff \| tree
2006-04-04	Andrea Asperti	Naif substitution. Removed local context in metas during...	commit \| commitdiff \| tree
2006-03-27	Andrea Asperti	args removed from equalities.	commit \| commitdiff \| tree
2006-03-24	Andrea Asperti	New unification and new matching.	commit \| commitdiff \| tree
2006-03-23	Andrea Asperti	Best parameter setting for de morgan.	commit \| commitdiff \| tree
2006-03-22	Andrea Asperti	:	commit \| commitdiff \| tree
2006-03-21	Andrea Asperti	Changed the type of compute-equality_weight that now...	commit \| commitdiff \| tree
2006-03-20	Andrea Asperti	Renamed SK.ma into bool.ma	commit \| commitdiff \| tree
2006-03-20	Andrea Asperti	Esempi di auto.	commit \| commitdiff \| tree
2006-03-20	Andrea Asperti	Snapshot.	commit \| commitdiff \| tree
2006-02-06	Andrea Asperti	termine bacato.	commit \| commitdiff \| tree
2006-02-06	Andrea Asperti	fixed usage of matita.auto_disambiguation	commit \| commitdiff \| tree
2006-02-06	Andrea Asperti	Bug?	commit \| commitdiff \| tree

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