Cl-isabelle-users August 2009 Archives by thread
- [isabelle] Announcing Microsoft VCC ,
Thomas Santen - Mon, 03 Aug 2009 12:19:33 +0100
- [isabelle] Applying simplification rules "backwards" ,
Juan Antonio Navarro Pérez - Mon, 03 Aug 2009 12:37:36 +0100
- [isabelle] Parsing? ,
Randy Pollack - Mon, 03 Aug 2009 18:32:10 +0100
- [isabelle] PLMMS 2009: Call for Participation ,
Gabriel Dos Reis - Tue, 04 Aug 2009 13:23:08 +0100
- [isabelle] Simplifier hangs (Not: loops!) ,
Dennis Walter - Tue, 04 Aug 2009 16:36:55 +0100
- [isabelle] installing isabelle ,
Jeremy Dawson - Wed, 05 Aug 2009 03:57:33 +0100
- [isabelle] locales? ,
Randy Pollack - Wed, 05 Aug 2009 16:29:15 +0100
- [isabelle] locales again? ,
Randy Pollack - Thu, 06 Aug 2009 18:58:00 +0100
- [isabelle] LATA 2010: call for papers ,
carlos.martin - Thu, 06 Aug 2009 19:14:18 +0100
- [isabelle] ProofGeneral fail to find heaps ,
Temesghen Kahsai - Thu, 06 Aug 2009 22:37:31 +0100
- [isabelle] Proof General fails to find heaps ,
Temesghen Kahsai - Fri, 07 Aug 2009 08:13:37 +0100
- Re: [isabelle] [PG] ProofGeneral fail to find heaps (fwd) ,
Makarius - Fri, 07 Aug 2009 09:45:59 +0100
- [isabelle] 2nd CFP - Special Issue of the JSC on Invariant Generation ,
Laura Kovacs - Tue, 11 Aug 2009 09:44:47 +0100
- [isabelle] MetiTarski theorem prover (Version 1.2) ,
Lawrence Paulson - Tue, 11 Aug 2009 15:25:40 +0100
- [isabelle] Check proof from command-line ,
Sigurd Torkel Meldgaard - Fri, 14 Aug 2009 10:02:30 +0100
- [isabelle] Problem with definition/abbreviation in locale context ,
Peter Lammich - Fri, 14 Aug 2009 10:58:27 +0100
- [isabelle] CFP VMCAI 2010, Madrid - EXTENDED DEADLINE: Aug 21/28 ,
Manuel Hermenegildo - Sun, 16 Aug 2009 22:51:34 +0100
- [isabelle] UML&FM'09 CFP ,
Sun Meng - Tue, 18 Aug 2009 13:54:51 +0100
- [isabelle] [SEC=UNCLASSIFIED]Problems with multiple interpretations ,
Dr. Brendan Patrick Mahony - Fri, 21 Aug 2009 01:45:44 +0100
- [isabelle] Why do some abbreviations become "abbreviatees" inside locales? ,
Andrei Popescu - Mon, 24 Aug 2009 04:49:45 +0100
- Re: [isabelle] Why do some abbreviations become "abbreviatees" inside locales? ,
popescu2 - Tue, 25 Aug 2009 16:04:50 +0100
- [isabelle] Make a function from a single valued relation ,
Randy Pollack - Wed, 26 Aug 2009 10:52:59 +0100
- [isabelle] Last Cfp: Software Verification and Testing at ACM SAC 2010 ,
Jan Cederquist - Thu, 27 Aug 2009 00:12:57 +0100
- [isabelle] Text sizes in output ,
Peter Chapman - Fri, 28 Aug 2009 11:20:08 +0100
- [isabelle] 3rd CFP - Deadline Extension: Special Issue of the JSC on Invariant Generation ,
Laura Kovacs - Mon, 31 Aug 2009 10:15:15 +0100
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.