Changes between Version 79 and Version 80 of WikiStart


Ignore:
Timestamp:
Nov 23, 2011, 12:14:11 PM (12 years ago)
Author:
AlysiaSpike
Comment:

minor change

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v79 v80  
    55* We also have a contingent interested in theorem provers such as Coq and Isabelle.
    66* Meetings are held on the third Thursday evening of each month.
    7 * The first meeting took place in February 2008 and we regularly get 20-30 attendees.
     7* The first meeting took place in February 2008 and we [http://www.truckaccidentlawyersource.com/ Truck Accident Lawyer] regularly get 20-30 attendees.
    88* Anyone who is interested is welcome to come along.
    99