ANR DynRes | Main / Software

Main.Software History

Hide minor edits - Show changes to output

January 15, 2013, at 04:10 PM EST by 152.81.3.38 -

Changed line 1 from:

# [[http://www.loria.fr/~larchey/BBI|''The formal strong completeness of Boolean BI'']] in [[http://coq.inria.fr|Coq]], Dominique Larchey-Wendling, 2012

to:

# [[http://www.loria.fr/~larchey/BBI|''The formal strong completeness of partial monoidal Boolean BI'']] in [[http://coq.inria.fr|Coq]], Dominique Larchey-Wendling, 2012

Restore

January 15, 2013, at 04:10 PM EST by 152.81.3.38 -

Deleted line 1:

Restore

January 15, 2013, at 04:10 PM EST by 152.81.3.38 -

Changed lines 1-3 from:

# [[http://www.loria.fr/~larchey/BBI|''The formal strong completeness of Boolean BI'']] in [[http://coq.inria.fr|Coq]

to:

# [[http://www.loria.fr/~larchey/BBI|''The formal strong completeness of Boolean BI'']] in [[http://coq.inria.fr|Coq]], Dominique Larchey-Wendling, 2012

# [[http://www.loria.fr/~larchey/BI|''The formal strong completeness of (intuitionistic) BI'']] in [[http://coq.inria.fr|Coq]], Dominique Larchey-Wendling, 2012.

Restore

January 15, 2013, at 04:09 PM EST by 152.81.3.38 -

Added line 1:

# [[http://www.loria.fr/~larchey/BBI|''The formal strong completeness of Boolean BI'']] in [[http://coq.inria.fr|Coq]

Restore