Archives are refreshed every 30 minutes - for details, please visit
the main index
.
You can also
download the archives in mbox format
.
isarmathlib-devel (date)
[
Thread Index
][
Top
][
All Lists
]
Advanced
[
Prev Period
]
Last Modified: Mon Jul 25 2011 08:50:09 -0400
Messages in reverse chronological order
[
Next Period
]
July 25, 2011
Re: [Isarmathlib-devel] Coq
,
Slawomir Kolodynski
,
08:50
July 24, 2011
[Isarmathlib-devel] Coq
,
Victor Porton
,
23:18
July 23, 2011
[Isarmathlib-devel] version 1.7.2 released
,
Slawomir Kolodynski
,
14:45
July 10, 2011
Re: [Isarmathlib-devel] Untyped formalized systems are wrong (blog post)
,
Victor Porton
,
07:05
July 09, 2011
Re: [Isarmathlib-devel] [isabelle] Untyped formalized systems are wrong (blog post)
,
Slawomir Kolodynski
,
06:26
July 08, 2011
[Isarmathlib-devel] Untyped formalized systems are wrong (blog post)
,
Victor Porton
,
13:02
[
Prev Period
]
[
Next Period
]
Mail converted by
MHonArc