Cl-isabelle-users September 2006 Archives by subject
- [isabelle] Automaton example
- [isabelle] proving monotonicity
- [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
- [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
- [isabelle] Parameterized theory
- [isabelle] Problem installing on an intel mac
- [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
- [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?
- [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
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.