Cl-isabelle-users August 2009 Archives by thread

• August 2009 messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...
• List archive Table of Contents

• [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
  • Re: [isabelle] Applying simplification rules "backwards" , Alexander Krauss - Tue, 04 Aug 2009 08:27:36 +0100
  • Re: [isabelle] Applying simplification rules "backwards" , Tobias Nipkow - Tue, 04 Aug 2009 08:44:37 +0100
    • Re: [isabelle] Applying simplification rules "backwards" , Juan Antonio Navarro Pérez - Tue, 04 Aug 2009 10:14:47 +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
  • Re: [isabelle] Simplifier hangs (Not: loops!) , Brian Huffman - Wed, 05 Aug 2009 17:01:50 +0100
  • Re: [isabelle] Simplifier hangs (Not: loops!) , Tjark Weber - Fri, 14 Aug 2009 14:07:25 +0100
    • Re: [isabelle] Simplifier hangs (Not: loops!) , Makarius - Fri, 14 Aug 2009 20:22:45 +0100
• [isabelle] installing isabelle , Jeremy Dawson - Wed, 05 Aug 2009 03:57:33 +0100
  • Re: [isabelle] installing isabelle , Makarius - Wed, 05 Aug 2009 15:30:19 +0100
• [isabelle] locales? , Randy Pollack - Wed, 05 Aug 2009 16:29:15 +0100
  • Message not available
    • [isabelle] sublocales? , Randy Pollack - Thu, 06 Aug 2009 15:06:05 +0100
      • Re: [isabelle] sublocales? , Clemens Ballarin - Thu, 06 Aug 2009 19:04:19 +0100
  • Re: [isabelle] locales? , Clemens Ballarin - Thu, 06 Aug 2009 19:36:12 +0100
  • <Possible follow-ups>
  • Re: [isabelle] locales? , Andreas Lochbihler - Thu, 06 Aug 2009 08:48:34 +0100
• [isabelle] locales again? , Randy Pollack - Thu, 06 Aug 2009 18:58:00 +0100
  • <Possible follow-ups>
  • Re: [isabelle] locales again? , Clemens Ballarin - Thu, 06 Aug 2009 20:52:32 +0100
    • Re: [isabelle] locales again? , Andreas Lochbihler - Fri, 07 Aug 2009 07:32:12 +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
  • Re: [isabelle] ProofGeneral fail to find heaps , Johannes Hölzl - Fri, 07 Aug 2009 09:46:10 +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
  • Re: [isabelle] ProofGeneral fail to find heaps , Makarius - Sat, 08 Aug 2009 20:44:27 +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
  • Re: [isabelle] Check proof from command-line , Christian Sternagel - Sat, 15 Aug 2009 13:18:42 +0100
    • Re: [isabelle] Check proof from command-line , Alexander Krauss - Sun, 16 Aug 2009 14:19:18 +0100
      • Re: [isabelle] Check proof from command-line , Sigurd Torkel Meldgaard - Sun, 16 Aug 2009 15:43:14 +0100
      • Re: [isabelle] Check proof from command-line , Alexander Krauss - Tue, 18 Aug 2009 06:15:24 +0100
      • Re: [isabelle] Check proof from command-line , Sigurd Torkel Meldgaard - Fri, 21 Aug 2009 13:20:32 +0100
      • Re: [isabelle] Check proof from command-line , Florian Haftmann - Mon, 24 Aug 2009 13:08:07 +0100
• [isabelle] Problem with definition/abbreviation in locale context , Peter Lammich - Fri, 14 Aug 2009 10:58:27 +0100
  • Re: [isabelle] Problem with definition/abbreviation in locale context , Florian Haftmann - Fri, 14 Aug 2009 14:52:58 +0100
  • Re: [isabelle] Problem with definition/abbreviation in locale context , Clemens Ballarin - Fri, 14 Aug 2009 18:52:16 +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
  • Re: [isabelle] [SEC=UNCLASSIFIED]Problems with multiple interpretations , Florian Haftmann - Mon, 24 Aug 2009 13:10:46 +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
  • Re: [isabelle] Make a function from a single valued relation , Lawrence Paulson - Wed, 26 Aug 2009 15:20:32 +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
  • Re: [isabelle] Text sizes in output , Makarius - Mon, 31 Aug 2009 20:06:16 +0100
• [isabelle] 3rd CFP - Deadline Extension: Special Issue of the JSC on Invariant Generation , Laura Kovacs - Mon, 31 Aug 2009 10:15:15 +0100