Cl-isabelle-users February 2006 Archives by thread

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

• [isabelle] LPAR 2006 call for papers , Miki Hermann - Wed, 01 Feb 2006 13:17:35 +0000
• [isabelle] Paper on Proof of Kepler Conjecture , nipkow - Wed, 01 Feb 2006 15:40:50 +0000
• [isabelle] ARW'06 Extended Deadline , Louise Dennis - Thu, 02 Feb 2006 12:09:41 +0000
• [isabelle] UITP'06: First call for papers , Serge Autexier - Thu, 02 Feb 2006 14:07:07 +0000
• [isabelle] TPHOLs 2007: Election Result , Joe Hurd - Sun, 05 Feb 2006 12:02:21 +0000
• [isabelle] CFP: 3rd International Verification Workshop, VERIFY'06 , Heiko Mantel - Mon, 06 Feb 2006 14:44:25 +0000
• [isabelle] theory file info , Sean McLaughlin - Mon, 06 Feb 2006 15:50:12 +0000
  • Re: [isabelle] theory file info , Florian Haftmann - Tue, 07 Feb 2006 09:54:25 +0000
• [isabelle] square root , kuecuek - Tue, 07 Feb 2006 10:10:53 +0000
  • Re: [isabelle] square root , Jeremy Avigad - Wed, 08 Feb 2006 16:35:41 +0000
• [isabelle] datatype definition performance , Peter Sewell - Tue, 07 Feb 2006 13:25:32 +0000
  • Re: [isabelle] datatype definition performance , Stefan Berghofer - Wed, 08 Feb 2006 10:11:20 +0000
  • <Possible follow-ups>
  • Re: [isabelle] datatype definition performance , Peter Sewell - Wed, 08 Feb 2006 10:58:46 +0000
    • Re: [isabelle] datatype definition performance , Stefan Berghofer - Wed, 08 Feb 2006 11:34:17 +0000
      • Re: [isabelle] datatype definition performance , Konrad Slind - Wed, 08 Feb 2006 16:59:54 +0000
• [isabelle] Axclass info , Sean McLaughlin - Tue, 07 Feb 2006 16:37:51 +0000
  • Re: [isabelle] Axclass info , Makarius - Wed, 08 Feb 2006 12:54:44 +0000
• [isabelle] nested \<^bsub> .. \<^esub> , Kobayashi, Hidetsune - Wed, 08 Feb 2006 13:03:16 +0000
  • Re: [isabelle] nested \<^bsub> .. \<^esub> , Clemens Ballarin - Thu, 09 Feb 2006 10:34:14 +0000
• [isabelle] FLoC'06 WS on DISPROVING Call for Papers , Wolfgang Ahrendt - Wed, 08 Feb 2006 18:38:20 +0000
• [isabelle] Finding a rule , John Ridgway - Wed, 08 Feb 2006 19:31:29 +0000
  • Re: [isabelle] Finding a rule , Lawrence Paulson - Thu, 09 Feb 2006 09:31:48 +0000
  • Re: [isabelle] Finding a rule , nipkow - Thu, 09 Feb 2006 09:34:12 +0000
    • Re: [isabelle] Finding a rule , John Matthews - Thu, 09 Feb 2006 17:38:51 +0000
      • Re: [isabelle] Finding a rule , nipkow - Thu, 09 Feb 2006 17:40:35 +0000
• [isabelle] FMCAD 2006 Call for Papers -- http://fmcad.org/2006 , Panagiotis Manolios - Wed, 08 Feb 2006 20:23:04 +0000
• [isabelle] installation of Isabelle2004 , Jeremy Dawson - Wed, 08 Feb 2006 21:56:50 +0000
  • [isabelle] unification question in Isabelle 2005 , Dimitrios Vytiniotis - Wed, 08 Feb 2006 22:13:02 +0000
    • Re: [isabelle] unification question in Isabelle 2005 , Lawrence Paulson - Thu, 09 Feb 2006 09:59:43 +0000
  • Re: [isabelle] installation of Isabelle2004 , Makarius - Wed, 08 Feb 2006 23:40:49 +0000
• [isabelle] div instances? , John Matthews - Mon, 13 Feb 2006 17:51:22 +0000
  • Re: [isabelle] div instances? , Stefan Berghofer - Mon, 13 Feb 2006 18:21:14 +0000
    • Re: [isabelle] div instances? , John Matthews - Mon, 13 Feb 2006 23:24:42 +0000
• [isabelle] mailing list archives , Lawrence Paulson - Mon, 13 Feb 2006 18:25:42 +0000
  • [isabelle] thms_containing , Jeremy Dawson - Tue, 21 Feb 2006 23:47:59 +0000
    • Re: [isabelle] thms_containing , Gerwin Klein - Wed, 22 Feb 2006 00:21:24 +0000
• [isabelle] base types , Sean McLaughlin - Mon, 13 Feb 2006 22:13:18 +0000
• [isabelle] string -> const , Sean McLaughlin - Mon, 13 Feb 2006 22:32:30 +0000
  • Re: [isabelle] string -> const , Makarius - Tue, 14 Feb 2006 12:35:55 +0000
• [isabelle] FMICS'06 Call for Papers , Martin Leucker - Tue, 14 Feb 2006 00:10:39 +0000
• [isabelle] ACL2 2006 Call for Papers , Panagiotis Manolios - Tue, 14 Feb 2006 18:46:26 +0000
• [isabelle] arith tactic , John Matthews - Tue, 14 Feb 2006 19:54:58 +0000
  • Message not available
    • Re: [isabelle] arith tactic , John Matthews - Thu, 16 Feb 2006 12:05:10 +0000
      • Re: [isabelle] arith tactic , nipkow - Thu, 16 Feb 2006 12:21:29 +0000
      • Re: [isabelle] arith tactic , Amine Chaieb - Fri, 17 Feb 2006 10:04:39 +0000
      • Re: [isabelle] arith tactic , John Matthews - Wed, 22 Feb 2006 00:04:15 +0000
• [isabelle] Installation Isabelle : help needed , Jean-Francois Molderez - Wed, 15 Feb 2006 06:06:21 +0000
  • Re: [isabelle] Installation Isabelle : help needed , Martin Ellis - Wed, 15 Feb 2006 09:40:47 +0000
  • Re: [isabelle] Installation Isabelle : help needed , nipkow - Thu, 16 Feb 2006 08:39:42 +0000
    • Re: [isabelle] Installation Isabelle : help needed , Alexander Krauss - Thu, 16 Feb 2006 08:58:03 +0000
• [isabelle] Isabelle Installation : help needed , Jean-Francois Molderez - Wed, 15 Feb 2006 22:02:09 +0000
  • Re: [isabelle] Isabelle Installation : help needed , Makarius - Thu, 16 Feb 2006 14:11:20 +0000
• [isabelle] overloaded defs , Sean McLaughlin - Thu, 16 Feb 2006 14:39:01 +0000
  • Re: [isabelle] overloaded defs , Lawrence Paulson - Fri, 17 Feb 2006 09:48:38 +0000
  • Re: [isabelle] overloaded defs , Steven Obua - Fri, 17 Feb 2006 10:56:41 +0000
    • Re: [isabelle] overloaded defs , Jeremy Dawson - Sun, 19 Feb 2006 22:01:39 +0000
  • [isabelle] paper about overloaded defs , Steven Obua - Fri, 17 Feb 2006 10:58:19 +0000
• [isabelle] type mappings , Sean McLaughlin - Thu, 16 Feb 2006 16:31:34 +0000
  • Re: [isabelle] type mappings , Lawrence Paulson - Fri, 17 Feb 2006 10:48:13 +0000
  • Re: [isabelle] type mappings , Brian Huffman - Fri, 17 Feb 2006 18:03:53 +0000
• [isabelle] CFP: FCS-ARSPA'06 (Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis) , vigano - Thu, 16 Feb 2006 18:49:19 +0000
• [isabelle] instance theorems , Sean McLaughlin - Fri, 17 Feb 2006 21:41:59 +0000
  • <Possible follow-ups>
  • Re: [isabelle] instance theorems , Jeremy Dawson - Sun, 19 Feb 2006 22:32:11 +0000
• [isabelle] Blast behaves strangely with free schematic variables , Tim Freeman - Sat, 18 Feb 2006 16:15:07 +0000
  • Re: [isabelle] Blast behaves strangely with free schematic variables , Peter - Sun, 19 Feb 2006 10:37:09 +0000
    • Re: [isabelle] Blast behaves strangely with free schematic variables , Tjark Weber - Mon, 20 Feb 2006 11:52:13 +0000
  • Re: [isabelle] Blast behaves strangely with free schematic variables , Lawrence Paulson - Sun, 19 Feb 2006 11:11:29 +0000
• [isabelle] IJCAR 2006: Call For Papers (CFP) , Sergey Berezin - Tue, 21 Feb 2006 17:28:37 +0000
• [isabelle] Calculemus'06 CFP: 13 th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning 2006 (co-located with ISSAC'06) , Silvio . Ranise - Wed, 22 Feb 2006 08:18:50 +0000
• [isabelle] fold definitions over sets , Burkhart Wolff - Wed, 22 Feb 2006 10:41:17 +0000
  • Re: [isabelle] fold definitions over sets , nipkow - Thu, 23 Feb 2006 07:47:14 +0000
• [isabelle] Workshop on Automated Reasoning: Call for Participation , Louise Dennis - Wed, 22 Feb 2006 16:55:11 +0000
• [isabelle] typecheck a term , Sean McLaughlin - Thu, 23 Feb 2006 04:14:42 +0000
  • Re: [isabelle] typecheck a term , Lawrence Paulson - Thu, 23 Feb 2006 17:33:24 +0000
  • Re: [isabelle] typecheck a term , Jeremy Dawson - Thu, 23 Feb 2006 22:03:56 +0000
• [isabelle] HOR 2006: call for abstracts , Femke van Raamsdonk - Thu, 23 Feb 2006 10:48:50 +0000
• [isabelle] How does one reason about the subset of a list? , Primrose.Mbanefo - Fri, 24 Feb 2006 15:51:31 +0000
  • Re: [isabelle] How does one reason about the subset of a list? , Martin Ellis - Sun, 26 Feb 2006 04:27:39 +0000
    • Re: [isabelle] How does one reason about the subset of a list? , nipkow - Sun, 26 Feb 2006 10:24:20 +0000
  • <Possible follow-ups>
  • Re: [isabelle] How does one reason about the subset of a list? , Primrose.Mbanefo - Mon, 27 Feb 2006 16:18:13 +0000
  • Re: [isabelle] How does one reason about the subset of a list? , Primrose.Mbanefo - Tue, 28 Feb 2006 22:33:50 +0000
• [isabelle] saving state , Sean McLaughlin - Sat, 25 Feb 2006 19:04:32 +0000
• [isabelle] found it , Sean McLaughlin - Sat, 25 Feb 2006 22:24:56 +0000
  • Re: [isabelle] found it , Makarius - Sun, 26 Feb 2006 10:24:29 +0000
• [isabelle] free term instantiations , Sean McLaughlin - Mon, 27 Feb 2006 04:49:44 +0000
• [isabelle] CFP: LFMTP 2006 , Alberto Momigliano - Mon, 27 Feb 2006 14:22:54 +0000
• [isabelle] getting past ConstDefs.add_constdefs_i , Michael Norrish - Tue, 28 Feb 2006 03:49:58 +0000
  • Re: [isabelle] getting past ConstDefs.add_constdefs_i , Makarius - Tue, 28 Feb 2006 12:32:54 +0000