aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/faq/axioms.fig
Commit message (Expand)AuthorAge
* Révision de theories/Logic concernant les axiomes de descriptions.Gravatar herbelin2007-10-03
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23