Cl-isabelle-users November 2008 Archives by author
- Alexander Krauss, krauss@in.tum.de
- Andreas Lochbihler, lochbihl@ipd.info.uni-karlsruhe.de
- Andrei Sabelfeld, andrei@cs.chalmers.se
- avantssar, avantssar@resin.csoft.net
- barzan stefania, stefania_barzan@yahoo.com
- Brian Huffman, brianh@cs.pdx.edu
- Brigitte Pientka, bpientka@cs.mcgill.ca
- Carlos Areces, areces@pluton.loria.fr
- Carsten Schuermann, carsten@itu.dk
- Christian Urban, curban@cs.princeton.edu
- CRACIUN F., florin.craciun@durham.ac.uk
- Daniel Leivant, leivant@cs.indiana.edu
- Duraid Madina, duraid@kinoko.c.u-tokyo.ac.jp
- Edward A. Hirsch, hirsch@pdmi.ras.ru
- Ewen Denney, Ewen.W.Denney@nasa.gov
- Florian Haftmann, florian.haftmann@informatik.tu-muenchen.de
- FMICS 2009 workshop chair, fmics2009@dsic.upv.es
- Freek Wiedijk, freek@cs.ru.nl
- Gerwin Klein, gerwin.klein@nicta.com.au
- Glauber Cabral, glauber.sp@gmail.com
- Jens Doll, jd@cococo.de
- Liu Jian, gjk.liu@gmail.com
- Makarius, makarius@sketis.net
- Markus Mueller-Olm, olm@math.uni-muenster.de
- Patrice Chalin, chalin@encs.concordia.ca
- Peter Chapman, pc@cs.st-and.ac.uk
- Rafal Kolanski, rafalk@cse.unsw.edu.au
- Temur Kutsia, tkutsia@risc.uni-linz.ac.at
- TIMOTHY KREMANN, twksoa262@verizon.net
- Tjark Weber, webertj@in.tum.de
- 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
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.