Cl-isabelle-users November 2008 Archives by author

• November 2008 messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...
• List archive Table of Contents

• Alexander Krauss, krauss@in.tum.de
  • Re: [isabelle] Recursion on finite sets - Thu, 13 Nov 2008 10:45:28 +0000
• Andreas Lochbihler, lochbihl@ipd.info.uni-karlsruhe.de
  • [isabelle] Recursion on finite sets - Thu, 13 Nov 2008 06:49:26 +0000
  • [isabelle] interpret with free variables - Mon, 17 Nov 2008 10:04:15 +0000
• Andrei Sabelfeld, andrei@cs.chalmers.se
  • [isabelle] PhD Positions in Language-based Security at Chalmers - Mon, 24 Nov 2008 16:01:21 +0000
• avantssar, avantssar@resin.csoft.net
  • [isabelle] ARSPA-WITS'09: call for papers - Sun, 09 Nov 2008 21:43:29 +0000
• barzan stefania, stefania_barzan@yahoo.com
  • [isabelle] conversion in Isabelle - Sat, 29 Nov 2008 15:59:28 +0000
• Brian Huffman, brianh@cs.pdx.edu
  • Re: [isabelle] Arity limitations of type classes? - Sun, 30 Nov 2008 00:18:07 +0000
  • Re: [isabelle] Arity limitations of type classes? - Sun, 30 Nov 2008 17:53:44 +0000
• Brigitte Pientka, bpientka@cs.mcgill.ca
  • [isabelle] CFP: Special issue: Intuitionistic Modal Logics and Applications (IMLA) - Sun, 09 Nov 2008 02:42:21 +0000
• Carlos Areces, areces@pluton.loria.fr
  • [isabelle] ACKERMANN AWARD 2009: CALL FOR NOMINATIONS - Fri, 28 Nov 2008 18:11:20 +0000
• Carsten Schuermann, carsten@itu.dk
  • [isabelle] CADE-22 final call for workshop and tutorial proposals - Wed, 26 Nov 2008 15:04:14 +0000
• Christian Urban, curban@cs.princeton.edu
  • [isabelle] CALL FOR PAPERS: TPHOLs 2009 - Thu, 06 Nov 2008 02:16:16 +0000
• CRACIUN F., florin.craciun@durham.ac.uk
  • [isabelle] First Call for Papers: TASE 2009 - Wed, 12 Nov 2008 21:43:52 +0000
• Daniel Leivant, leivant@cs.indiana.edu
  • [isabelle] formal methods hiring - Sat, 15 Nov 2008 04:49:11 +0000
• Duraid Madina, duraid@kinoko.c.u-tokyo.ac.jp
  • [isabelle] Unable to generate code for ?P = (%x. True) - Mon, 03 Nov 2008 16:46:33 +0000
  • Re: [isabelle] Unable to generate code for ?P = (%x. True) - Tue, 04 Nov 2008 17:46:19 +0000
  • [isabelle] can't prove "True => True" - Sun, 09 Nov 2008 16:01:20 +0000
  • Re: [isabelle] can't prove "True => True" - Mon, 10 Nov 2008 10:52:42 +0000
  • Re: [isabelle] can't prove "True => True" - Mon, 10 Nov 2008 16:25:02 +0000
• Edward A. Hirsch, hirsch@pdmi.ras.ru
  • [isabelle] CSR-2009: Second Call for Papers - Thu, 13 Nov 2008 07:39:49 +0000
• Ewen Denney, Ewen.W.Denney@nasa.gov
  • [isabelle] Call for papers: NASA Formal Methods Symposium - Wed, 19 Nov 2008 01:41:16 +0000
• Florian Haftmann, florian.haftmann@informatik.tu-muenchen.de
  • Re: [isabelle] interpretations and lambda terms - Wed, 05 Nov 2008 07:28:36 +0000
  • Re: [isabelle] can't prove "True => True" - Mon, 10 Nov 2008 13:22:49 +0000
• FMICS 2009 workshop chair, fmics2009@dsic.upv.es
  • [isabelle] FMICS 2009: First Call for Papers - Tue, 04 Nov 2008 10:48:31 +0000
• Freek Wiedijk, freek@cs.ru.nl
  • [isabelle] System Announcement: ProofWeb - Wed, 12 Nov 2008 14:57:48 +0000
• Gerwin Klein, gerwin.klein@nicta.com.au
  • Re: [isabelle] about longer computation syntax sugar - Wed, 26 Nov 2008 10:49:46 +0000
  • Re: [isabelle] about longer computation syntax sugar - Fri, 28 Nov 2008 11:07:42 +0000
• Glauber Cabral, glauber.sp@gmail.com
  • [isabelle] I need some help with a theory - Tue, 11 Nov 2008 20:51:45 +0000
• Jens Doll, jd@cococo.de
  • [isabelle] The Elbe Theory Viewer - Tue, 18 Nov 2008 10:45:08 +0000
  • [isabelle] Corr:The Elbe Theory Viewer - Wed, 19 Nov 2008 13:45:58 +0000
  • [isabelle] Corr:The Elbe Theory Viewer - Fri, 21 Nov 2008 17:10:30 +0000
• Liu Jian, gjk.liu@gmail.com
  • [isabelle] about longer computation syntax sugar - Wed, 26 Nov 2008 05:19:12 +0000
  • Re: [isabelle] about longer computation syntax sugar - Thu, 27 Nov 2008 15:24:28 +0000
  • [isabelle] load HOL4 - Fri, 28 Nov 2008 07:02:31 +0000
  • Re: [isabelle] about longer computation syntax sugar - Sat, 29 Nov 2008 15:21:12 +0000
• Makarius, makarius@sketis.net
  • [isabelle] CALL FOR WORKSHOP PROPOSALS: TPHOLs 2009 - Fri, 07 Nov 2008 09:06:50 +0000
  • Re: [isabelle] changing the printed syntax for "Some x" (was Re: syntax for a type abbreviations) - Tue, 18 Nov 2008 22:17:22 +0000
  • [isabelle] Formal Proof in the press - Fri, 21 Nov 2008 11:12:56 +0000
• Markus Mueller-Olm, olm@math.uni-muenster.de
  • [isabelle] VMCAI 2009: Call for Participation - Fri, 21 Nov 2008 12:31:43 +0000
• Patrice Chalin, chalin@encs.concordia.ca
  • [isabelle] syntax for a type abbreviations - Tue, 18 Nov 2008 03:44:23 +0000
  • [isabelle] changing the printed syntax for "Some x" (was Re: syntax for a type abbreviations) - Tue, 18 Nov 2008 04:10:45 +0000
• Peter Chapman, pc@cs.st-and.ac.uk
  • [isabelle] Using different symbols in LaTeX - Mon, 03 Nov 2008 15:41:08 +0000
• Rafal Kolanski, rafalk@cse.unsw.edu.au
  • [isabelle] Type translation with a type variable - Thu, 06 Nov 2008 07:30:04 +0000
  • Re: [isabelle] Type translation with a type variable [SOLVED] - Sun, 09 Nov 2008 14:55:36 +0000
  • [isabelle] Arity limitations of type classes? - Wed, 26 Nov 2008 04:57:17 +0000
  • Re: [isabelle] Arity limitations of type classes? - Sun, 30 Nov 2008 07:11:47 +0000
• Temur Kutsia, tkutsia@risc.uni-linz.ac.at
  • [isabelle] First CFP: WWV 2009 - Tue, 18 Nov 2008 18:12:49 +0000
• TIMOTHY KREMANN, twksoa262@verizon.net
  • [isabelle] Defining Recursive Functions in Isabelle/HOL - Wed, 26 Nov 2008 18:54:33 +0000
• Tjark Weber, webertj@in.tum.de
  • Re: [isabelle] can't prove "True => True" - Mon, 10 Nov 2008 09:31:51 +0000
• Tobias Nipkow, nipkow@in.tum.de
  • Re: [isabelle] Unable to generate code for ?P = (%x. True) - Tue, 04 Nov 2008 10:47:26 +0000
  • Re: [isabelle] Unable to generate code for ?P = (%x. True) - Tue, 04 Nov 2008 11:10:50 +0000
  • Re: [isabelle] Unable to generate code for ?P = (%x. True) - Wed, 05 Nov 2008 08:20:50 +0000
  • Re: [isabelle] Unable to generate code for ?P = (%x. True) - Wed, 05 Nov 2008 09:15:45 +0000
  • [isabelle] New AFP entry: Secure information flow and program logics - Thu, 13 Nov 2008 08:47:31 +0000
  • Re: [isabelle] Recursion on finite sets - Thu, 13 Nov 2008 11:07:45 +0000
  • [isabelle] Two new AFP articles: "Social Choice Theory" and "Fun with Tilings" - Mon, 17 Nov 2008 15:43:27 +0000
  • Re: [isabelle] Arity limitations of type classes? - Wed, 26 Nov 2008 10:44:06 +0000
  • Re: [isabelle] Defining Recursive Functions in Isabelle/HOL - Thu, 27 Nov 2008 10:32:37 +0000
  • Re: [isabelle] load HOL4 - Sat, 29 Nov 2008 13:46:09 +0000
  • Re: [isabelle] conversion in Isabelle - Sun, 30 Nov 2008 15:03:47 +0000