Changes between Version 31 and Version 32 of WikiStart


Ignore:
Timestamp:
Jan 27, 2014, 8:10:43 PM (8 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v31 v32  
    1414  use them in yours they're completely unreadable.
    1515
    16 * Heavy use of the `burn` megatactic. This is in the same vein as Chilpala's
    17  `crush` tactic, but at the time I couldn't work out what `crush` was doing...
    18 
    19 * Uses the `Case` and `SCase` etc tactics to add structure.
     16* Uses Coq bullets, as well as the `Case` and `SCase` etc tactics to add structure.
    2017
    2118== Installation ==