]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7eee84) | patch
bugfix: handle overflow in powerset cardinality
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Oct 2004 13:01:06 +0000 (13:01 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Oct 2004 13:01:06 +0000 (13:01 +0000)
commitcc74e69409c73baf7bcfc522a7dfe7cbc92f2369
tree9fe2a71e7a911991b7f3d327aa8efec44cfe9a00tree | snapshot
parenta7eee845d4823b8672222f67f4b2d4b30a5a5c61commit | diff
bugfix: handle overflow in powerset cardinality
helm/ocaml/tactics/metadataQuery.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.