Skip to content

History

New page

Revisions

  • Updated Home (markdown)

    @mn200 mn200 committed Aug 20, 2015
    a037ee3

  • Created Tactic (markdown)

    @myreen myreen committed Mar 31, 2014
    f9a35a7

  • Updated Proof (markdown)

    @thtuerk thtuerk committed Aug 23, 2012
    4bf6958

  • Updated Proof (markdown)

    @thtuerk thtuerk committed Aug 23, 2012
    2a8dc4d

  • adding a few, probably fairly unknow tools about Consequence Conversions, Quantifiers and Pairs

    @thtuerk thtuerk committed Aug 22, 2012
    33b0e6a

  • Updated Proof (markdown)

    @thtuerk thtuerk committed Aug 20, 2012
    def58d7

  • Updated Proof (markdown)

    @myreen myreen committed Aug 8, 2012
    134d397

  • Updated Proof (markdown)

    @myreen myreen committed Aug 8, 2012
    fa3fbbc

  • Updated Proof (markdown)

    @myreen myreen committed Aug 8, 2012
    ec6f871

  • Updated Proof (markdown)

    @myreen myreen committed Aug 8, 2012
    0712914

  • Updated Proof (markdown)

    @myreen myreen committed Aug 8, 2012
    64fea41

  • Updated Proof (markdown)

    @myreen myreen committed Aug 8, 2012
    84e66a7

  • add link to issue tracker

    @xrchz xrchz committed Aug 7, 2012
    e942465

  • Created Theory (markdown)

    @xrchz xrchz committed Aug 6, 2012
    c5ef9d7

  • quick brainstorm of possible contents

    @xrchz xrchz committed Aug 6, 2012
    57e08ab

  • fix interwiki links

    @xrchz xrchz committed Aug 6, 2012
    1831061

  • first attempt at a wiki home page

    @xrchz xrchz committed Aug 6, 2012
    6099c21

  • Initial Commit

    @mn200 mn200 committed May 31, 2012
    975644a