Cl-isabelle-users September 2006 Archives by subject

• September 2006 messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...
• List archive Table of Contents

• [isabelle] Automaton example
  • Gabriele Pozzani, gabriele.pozzani@gmail.com - Mon, 04 Sep 2006 14:29:58 +0100
• [isabelle] proving monotonicity
  • Christian Urban, urbanc@in.tum.de - Fri, 01 Sep 2006 08:30:22 +0100
  • Christian Urban, urbanc@in.tum.de - Fri, 01 Sep 2006 08:48:22 +0100
• [isabelle] Applying elimination rules
  • Vaidas Gasiunas, gasiunas@informatik.tu-darmstadt.de - Thu, 21 Sep 2006 09:52:00 +0100
  • Makarius, makarius@sketis.net - Fri, 22 Sep 2006 11:16:09 +0100
• [isabelle] arities syntax in Isar-style theory files
  • Jeremy Dawson, Jeremy.Dawson@rsise.anu.edu.au - Thu, 14 Sep 2006 02:36:17 +0100
  • Brian Huffman, brianh@csee.ogi.edu - Thu, 14 Sep 2006 06:34:36 +0100
• Re: [isabelle] Automaton example
  • Alexander Krauss, krauss@in.tum.de - Fri, 01 Sep 2006 08:30:34 +0100
  • Makarius, makarius@sketis.net - Fri, 01 Sep 2006 10:57:57 +0100
  • Gabriele Pozzani, gabriele.pozzani@gmail.com - Fri, 01 Sep 2006 14:14:04 +0100
  • Makarius, makarius@sketis.net - Fri, 01 Sep 2006 20:08:27 +0100
• [isabelle] Call for Papers: MIKES 2007
  • Gerwin Klein, gerwin.klein@nicta.com.au - Tue, 19 Sep 2006 01:59:01 +0100
• [isabelle] Call for Participation: Training School in Symbolic Computation
  • Temur Kutsia, kutsia@risc.uni-linz.ac.at - Wed, 20 Sep 2006 12:28:23 +0100
• [isabelle] Error in automaton example
  • Gabriele Pozzani, gabriele.pozzani@gmail.com - Mon, 11 Sep 2006 16:22:30 +0100
  • Makarius, makarius@sketis.net - Wed, 13 Sep 2006 16:44:14 +0100
• [isabelle] Functional Relations
  • Vaidas Gasiunas, gasiunas@informatik.tu-darmstadt.de - Wed, 27 Sep 2006 17:19:30 +0100
  • Tobias Nipkow, nipkow@in.tum.de - Thu, 28 Sep 2006 09:06:50 +0100
  • Vaidas Gasiunas, gasiunas@informatik.tu-darmstadt.de - Fri, 29 Sep 2006 08:32:39 +0100
• [isabelle] help on Trueprop
  • Joao Marcos, jmarcos@dimap.ufrn.br - Tue, 05 Sep 2006 16:49:00 +0100
  • Makarius, makarius@sketis.net - Wed, 06 Sep 2006 10:33:28 +0100
  • Joao Marcos, jmarcos@dimap.ufrn.br - Wed, 06 Sep 2006 12:40:59 +0100
  • Makarius, makarius@sketis.net - Wed, 06 Sep 2006 12:54:05 +0100
• [isabelle] INRIA postdoc position
  • Frederic Blanqui, blanqui@loria.fr - Fri, 29 Sep 2006 12:18:24 +0100
• [isabelle] LaTeX conversion
  • Jared Davis, jared@cs.utexas.edu - Fri, 29 Sep 2006 18:20:47 +0100
  • Makarius, makarius@sketis.net - Sat, 30 Sep 2006 11:07:27 +0100
• [isabelle] LaTeX document
  • Francisco Jose CHAVES ALONSO, Francisco.Jose.Chaves.Alonso@ens-lyon.fr - Fri, 22 Sep 2006 11:33:18 +0100
  • Martin Ellis, m.a.ellis@ncl.ac.uk - Sat, 23 Sep 2006 17:10:28 +0100
  • Martin Ellis, m.a.ellis@ncl.ac.uk - Sat, 23 Sep 2006 18:40:46 +0100
  • Stefan Berghofer, berghofe@in.tum.de - Mon, 25 Sep 2006 16:35:35 +0100
  • Stefan Berghofer, berghofe@in.tum.de - Mon, 25 Sep 2006 16:45:20 +0100
  • Makarius, makarius@sketis.net - Wed, 27 Sep 2006 10:55:51 +0100
• [isabelle] Modelcheck example
  • Gabriele Pozzani, gabriele.pozzani@gmail.com - Mon, 04 Sep 2006 15:00:20 +0100
  • Makarius, makarius@sketis.net - Tue, 05 Sep 2006 13:48:44 +0100
• [isabelle] mutual primrecs
  • Peter Sewell, Peter.Sewell@cl.cam.ac.uk - Mon, 04 Sep 2006 12:10:19 +0100
  • Alexander Krauss, krauss@in.tum.de - Tue, 05 Sep 2006 10:38:20 +0100
• [isabelle] nat properties
  • kuecuek, kuecuek@rbg.informatik.tu-darmstadt.de - Sun, 17 Sep 2006 14:14:51 +0100
  • Amine Chaieb, chaieb@in.tum.de - Mon, 18 Sep 2006 10:43:19 +0100
  • Amine Chaieb, chaieb@in.tum.de - Mon, 18 Sep 2006 10:45:02 +0100
  • Steven Obua, obua@in.tum.de - Mon, 18 Sep 2006 12:24:59 +0100
• [isabelle] Natural property
  • Gabriele Pozzani, gabriele.pozzani@gmail.com - Fri, 22 Sep 2006 18:27:38 +0100
  • Amine Chaieb, chaieb@informatik.tu-muenchen.de - Sat, 23 Sep 2006 10:16:34 +0100
  • Alexander Krauss, krauss@in.tum.de - Sat, 23 Sep 2006 10:42:04 +0100
• [isabelle] New AFP Entry: Hotel Key Card System
  • Tobias Nipkow, nipkow@in.tum.de - Tue, 12 Sep 2006 09:25:09 +0100
• [isabelle] Non-determinism
  • Gabriele Pozzani, gabriele.pozzani@gmail.com - Thu, 07 Sep 2006 15:09:21 +0100
  • Farhad Mehta, fmehta@inf.ethz.ch - Fri, 08 Sep 2006 11:04:54 +0100
  • Tjark Weber, tjark.weber@gmx.de - Fri, 08 Sep 2006 14:52:09 +0100
  • Clemens Ballarin, ballarin@in.tum.de - Fri, 08 Sep 2006 15:15:06 +0100
  • Gabriele Pozzani, gabriele.pozzani@gmail.com - Fri, 08 Sep 2006 15:51:54 +0100
• [isabelle] Paper available
  • Burkhart Wolff, bwolff@inf.ethz.ch - Fri, 22 Sep 2006 18:57:57 +0100
• [isabelle] Parameterized theory
  • Gabriele Pozzani, gabriele.pozzani@gmail.com - Thu, 07 Sep 2006 17:52:45 +0100
• [isabelle] Problem installing on an intel mac
  • Walid Taha, taha@cs.rice.edu - Fri, 15 Sep 2006 02:25:08 +0100
  • Martin Klebermass, martin@klebermass.de - Fri, 15 Sep 2006 09:56:59 +0100
  • Stephanie Weirich, sweirich@cis.upenn.edu - Fri, 15 Sep 2006 14:21:27 +0100
• [isabelle] Problem with obtaining induction premises
  • Vaidas Gasiunas, gasiunas@st.informatik.tu-darmstadt.de - Sat, 16 Sep 2006 12:18:42 +0100
  • Makarius, makarius@sketis.net - Mon, 18 Sep 2006 11:24:46 +0100
  • Vaidas Gasiunas, gasiunas@informatik.tu-darmstadt.de - Mon, 18 Sep 2006 15:50:21 +0100
  • Makarius, makarius@sketis.net - Tue, 19 Sep 2006 13:11:22 +0100
  • Vaidas Gasiunas, gasiunas@informatik.tu-darmstadt.de - Tue, 19 Sep 2006 15:53:07 +0100
• [isabelle] Problem with translations
  • Burkhart Wolff, bwolff@inf.ethz.ch - Tue, 12 Sep 2006 10:55:30 +0100
  • Makarius, makarius@sketis.net - Wed, 13 Sep 2006 10:32:56 +0100
• [isabelle] Program verification and Isabelle?
  • Klaus Ostermann, ostermann@informatik.tu-darmstadt.de - Fri, 29 Sep 2006 09:47:02 +0100
  • Peter Homeier, phomeier@gmail.com - Sat, 30 Sep 2006 15:37:59 +0100
• Re: [isabelle] proving monotonicity
  • Tjark Weber, tjark.weber@gmx.de - Sat, 02 Sep 2006 02:50:14 +0100
• [isabelle] PS: Hotel Key Card System
  • Tobias Nipkow, nipkow@in.tum.de - Wed, 13 Sep 2006 20:02:19 +0100
• [isabelle] questions
  • Jared Davis, jared@cs.utexas.edu - Mon, 18 Sep 2006 19:27:46 +0100
  • Tobias Nipkow, nipkow@in.tum.de - Tue, 19 Sep 2006 09:51:48 +0100
  • Makarius, makarius@sketis.net - Tue, 19 Sep 2006 12:16:53 +0100
• [isabelle] recursive functions and set comprehension
  • Dimitrios Vytiniotis, dimitriv@cis.upenn.edu - Mon, 25 Sep 2006 20:16:31 +0100
  • Stefan Berghofer, berghofe@in.tum.de - Tue, 26 Sep 2006 09:40:47 +0100
  • Alexander Krauss, krauss@in.tum.de - Tue, 26 Sep 2006 09:50:36 +0100
• [isabelle] Sequence case
  • Gabriele Pozzani, gabriele.pozzani@gmail.com - Tue, 19 Sep 2006 14:42:25 +0100
  • Lawrence Paulson, lp15@cam.ac.uk - Wed, 20 Sep 2006 14:35:56 +0100
  • Brian Huffman, brianh@csee.ogi.edu - Wed, 20 Sep 2006 16:10:05 +0100
  • Gabriele Pozzani, gabriele.pozzani@gmail.com - Wed, 20 Sep 2006 17:23:15 +0100
  • Tobias Nipkow, nipkow@in.tum.de - Wed, 20 Sep 2006 21:53:21 +0100
• [isabelle] Simplifier questions
  • Jared Davis, jared@cs.utexas.edu - Wed, 20 Sep 2006 06:42:03 +0100
  • Tobias Nipkow, nipkow@in.tum.de - Wed, 20 Sep 2006 21:53:25 +0100
• [isabelle] Theory loader: cannot update finished theory "Main"
  • Jeremy Dawson, Jeremy.Dawson@rsise.anu.edu.au - Thu, 28 Sep 2006 01:37:08 +0100
  • Makarius, makarius@sketis.net - Thu, 28 Sep 2006 10:31:14 +0100
• [isabelle] Transnational Access Programme at RISC
  • Temur Kutsia, kutsia@risc.uni-linz.ac.at - Thu, 14 Sep 2006 16:23:16 +0100
• [isabelle] using files
  • Jeremy Dawson, Jeremy.Dawson@rsise.anu.edu.au - Thu, 28 Sep 2006 08:19:08 +0100
  • Stefan Berghofer, berghofe@in.tum.de - Thu, 28 Sep 2006 09:27:32 +0100
• Re: [isabelle] Using Isabelle on Intel Macintosh?
  • Lawrence Paulson, lp15@cam.ac.uk - Fri, 01 Sep 2006 09:23:31 +0100
  • Peter V. Homeier, palantir@earthlink.net - Fri, 01 Sep 2006 17:32:13 +0100
• [isabelle] weird message about Proof may be skipped in quick_and_dirty mode only!
  • Jeremy Dawson, Jeremy.Dawson@rsise.anu.edu.au - Thu, 28 Sep 2006 08:30:20 +0100