]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ede0057) | patch
parameter sintax added to axiom statement
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 1 Aug 2018 22:30:25 +0000 (00:30 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 1 Aug 2018 22:30:25 +0000 (00:30 +0200)
commitf9abd21eb0d26cf9b632af4df819225be4d091e3
treebdfe0500e7df741aa2a361963a5b65af3fcc30bbtree | snapshot
parentede00573e3e4cb28df7ca9a5dae6228c2b432608commit | diff
parameter sintax added to axiom statement

the syntax is already present in the other statements
README [new file with mode: 0644] blob
helm/software/components/content_pres/content2pres.ml diff | blob | history
matita/components/grafite_parser/grafiteParser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.