Ignore:
Timestamp:
Oct 25, 2012, 12:30:01 PM (7 years ago)
Author:
mulligan
Message:

Some more minor changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/polymorphic-variants-2012/polymorphic-variants.bib

    r2414 r2416  
     1@article
     2{ asperti:user:2007,
     3  author = {Andrea Asperti and Claudio {Sacerdoti Coen} and Enrico Tassi and Stefano Zacchiroli},
     4  title = {User interaction with the {Matita} proof assistant},
     5  journal = {Automated Reasoning},
     6  pages = {109--139},
     7  volume = {39},
     8  issue = {2},
     9  year = {2007}
     10}
     11
    112@inproceedings
    213{ garrigue:code:2000,
Note: See TracChangeset for help on using the changeset viewer.