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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: c5e1e4d) | patch

author	natile <??>
	Wed, 9 Oct 2002 15:43:19 +0000 (15:43 +0000)
committer	natile <??>
	Wed, 9 Oct 2002 15:43:19 +0000 (15:43 +0000)
commit	55ec3b1290f0de467c51d163fef22fd68bb0823e
tree	ea9d79141067212652efc28102f2e960e3ef60a2	tree \| snapshot
parent	c5e1e4d1726bd78464a7d458df3aca047749567b	commit \| diff

Debugging better Sub and Meet.

helm/ocaml/mathql_interpreter/meet.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mqint.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/sub.ml		diff \| blob \| history

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