]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 706fcc9) | patch
interpretations placed right after the corresponding definitions (in this way the...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 13 May 2009 19:30:53 +0000 (19:30 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 13 May 2009 19:30:53 +0000 (19:30 +0000)
commitdc7fa75e39843dd9db19130fb352c274291befff
tree8a3830977ebd4d03528a4e2707176f3c857fc887tree | snapshot
parent706fcc9a5598a85d3d63ad0c9dd4245c8e0233f6commit | diff
interpretations placed right after the corresponding definitions (in this way the script is reconstructed correctly)

logic/equality and datatypes/bool reconstructed :)
helm/software/matita/library/datatypes/bool.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.