]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e147acd) | patch
Relation: inverse switch added.
authornatile <??>
Mon, 18 Nov 2002 18:06:58 +0000 (18:06 +0000)
committernatile <??>
Mon, 18 Nov 2002 18:06:58 +0000 (18:06 +0000)
commit49e52032242e39eba0cf24ca16a37c84b52cc356
tree51b75b0b0fe1b7a39a7a8c665eb3a9a276511250tree | snapshot
parente147acdb13c52328b712cb2c200bafbe8aadbcc4commit | diff
Relation: inverse switch added.
helm/ocaml/mathql_interpreter/mqint.ml diff | blob | history
helm/ocaml/mathql_interpreter/relation.ml diff | blob | history
helm/ocaml/mathql_interpreter/relation.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.