]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ce2db4) | patch
Disequalities chains for algebra. First draft.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 16 Nov 2001 09:36:08 +0000 (09:36 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 16 Nov 2001 09:36:08 +0000 (09:36 +0000)
commit9615625bcabfb81bda129ee14c3bf396ba761416
treed0e1e553225acfdd0ee70b2c7c545ddebf36365etree | snapshot
parent7ce2db4ef8c362186703163a894cf6250ff00faecommit | diff
Disequalities chains for algebra. First draft.
helm/style/arith.xsl diff | blob | history
helm/style/content_to_html.xsl diff | blob | history
helm/style/drop_coercions.xsl diff | blob | history
helm/style/html_init.xsl diff | blob | history
helm/style/proofs.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.