From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/50912 Path: news.gmane.org!not-for-mail From: Xan Newsgroups: gmane.comp.tex.context Subject: Re: Theorems with arguments like amsthm--> demostration space Date: Sat, 30 May 2009 16:54:13 +0200 Message-ID: <4A214895.8040800@telefonica.net> References: <4A202390.6050602@telefonica.net> <4A203BE0.5040208@telefonica.net> <4A203D14.90006@telefonica.net> <4A20FD1F.4060708@telefonica.net> <4A20FDEA.4080006@telefonica.net> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1243695317 9333 80.91.229.12 (30 May 2009 14:55:17 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 30 May 2009 14:55:17 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Sat May 30 16:55:14 2009 Return-path: Envelope-to: gctc-ntg-context-518@m.gmane.org Original-Received: from ronja.vet.uu.nl ([131.211.172.88] helo=ronja.ntg.nl) by lo.gmane.org with esmtp (Exim 4.50) id 1MAPxp-0000XQ-HU for gctc-ntg-context-518@m.gmane.org; Sat, 30 May 2009 16:55:13 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 91C421FD7D; Sat, 30 May 2009 16:55:11 +0200 (CEST) Original-Received: from ronja.ntg.nl ([127.0.0.1]) by localhost (smtp.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 16246-03; Sat, 30 May 2009 16:54:30 +0200 (CEST) Original-Received: from ronja.vet.uu.nl (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id B20771FD4E; Sat, 30 May 2009 16:54:29 +0200 (CEST) Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 1A0B11FD4E for ; Sat, 30 May 2009 16:54:28 +0200 (CEST) Original-Received: from ronja.ntg.nl ([127.0.0.1]) by localhost (smtp.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 15703-04 for ; Sat, 30 May 2009 16:54:19 +0200 (CEST) Original-Received: from filter3-nij.mf.surf.net (filter3-nij.mf.surf.net [195.169.124.154]) by ronja.ntg.nl (Postfix) with ESMTP id A9E571FD4A for ; Sat, 30 May 2009 16:54:19 +0200 (CEST) Original-Received: from ctsmtpout4.frontal.correo (outmailhost.telefonica.net [213.4.149.242]) by filter3-nij.mf.surf.net (8.13.8/8.13.8/Debian-3) with ESMTP id n4UEsI2s013359 for ; Sat, 30 May 2009 16:54:19 +0200 Original-Received: from [172.26.0.4] (81.37.196.250) by ctsmtpout4.frontal.correo (7.2.056.6) (authenticated as dxpublica) id 4A13D9BC0021EE1E for ntg-context@ntg.nl; Sat, 30 May 2009 16:54:14 +0200 User-Agent: Thunderbird 2.0.0.21 (X11/20090318) In-Reply-To: <4A20FDEA.4080006@telefonica.net> X-Bayes-Prob: 0.0001 (Score 0, tokens from: @@RPTN) X-CanIt-Geo: ip=213.4.149.242; country=ES; region=29; city=Madrid; latitude=40.4000; longitude=-3.6833; http://maps.google.com/maps?q=40.4000,-3.6833&z=6 X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 234579448 - f50ec76be6c8 - 20090530 X-Scanned-By: CanIt (www . roaringpenguin . com) on 195.169.124.154 X-Virus-Scanned: amavisd-new at ntg.nl X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.11 Precedence: list List-Id: mailing list for ConTeXt users List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: ntg-context-bounces@ntg.nl Errors-To: ntg-context-bounces@ntg.nl X-Virus-Scanned: amavisd-new at ntg.nl Xref: news.gmane.org gmane.comp.tex.context:50912 Archived-At: Cj4gU2F0LCAzMCBNYXkgMjAwOSwgWGFuIHdyb3RlOgo+Cj4gPi8gVGhpbmtpbmcgYWJvdXQgc3Bh Y2VzLi4uLiBhbnlvbmUga25vd3MgaG93IHRvIHB1dCBsZXNzIHNwYWNlIGJldHdlZW4gCj4gLz4v IHRleHQgIkRlbW9zdHJhY2nDsyIgYW5kIHRoZSB0ZXh0IGl0c2VsZiBpbiB0aGlzIGVudmlyb25t ZW50PzoKPiAvCj4gd2lkdGg9Zml0LCBkaXN0YW5jZT0wLjVlbSAob3Igd2hhdGV2ZXIgeW91IHdh bnQgdGhlIGRpc3RhbmNlIHRvIGJlKQo+Cj4gICAKVGhhbmtzLCBBZGl0eWEuCgpGb3IgdGhlIG90 aGVyIGhhbmQsIEkgcG9zc2libHkgZGlzY292ZXIgYSBidWc6CgpJIGhhdmUgdGhhdCAoc29ycnkg Zm9yIHRoZSBjb21tZW50cyBpbiBjYXRhbGFuKToKClxkZWZpbmVlbnVtZXJhdGlvbgogIFtsZW1t YV0KICBbdGV4dD17TGVtbWF9LCAlIFF1w6ggZXMgbW9zdHJhCiAgIGJlZm9yZT17XGJsYW5rW2Jp Z119LCAlIGFiYW5zIGRlIGxlbW1hLCB1biBiaWdza2lwCiAgIGFmdGVyPXtcYmxhbmtbYmlnXX0s ICUgZGVzcHLDqXMgZGUgbGVtbWEsIHVuIGJpZ3NraXAKICAgaGVhZHN0eWxlPWJvbGQsICUgTmVn cmV0YSBwZXIgbGEgY2Fww6dhbGVyYXMKICAgJWJldHdlZW49XGJsYW5rLCAlIEVudHJlIExlbW1l cyB1bmEgbMOtbmlhIGVuIGJsYW5jCiAgIHRpdGxlZGlzdGFuY2U9LjVlbSwgJSBlc3BhaSBlbnRy ZSBuw7ptZXJvIGkgcGFyw6hudGVzaXMuCiAgIHRleHRkaXN0YW5jZT0uNWVtLCAlIGVzcGFpIGVu dHJlICkgaSB0ZXh0CiAgIHN0b3BwZXI9ey5cc3BhY2V9LCAlIENvbSBhY2FiYS4gRGVzcHLDqXMg ZGUgcGFyw6hudGVzaXMgdW4gJy4nCiAgIGxvY2F0aW9uPXNlcnJpZWQsCiAgIHdpZHRoPWZpdCwg JSBxdWUgb2N1cGkgdG90IGwnZXNwYWkKICAgc3R5bGU9aXRhbGljLCAlIGVzdGlsIGRlbCB0ZXh0 CiAgIHRpdGxlPXllcywgJSBzaSBwdWMgcG9zYXIgbyBubyBhcmd1bWVudHMgb3BjaW9uYWxzCiAg IHRpdGxlc3R5bGU9c2MsICUgZXN0aWwgZGVsIHTDrXRvbAogICB3YXk9Ynl0ZXh0LCAlIGVudW1l cmFyIGVuIHRvdCBlbCBkb2N1bWVudAogICBjb252ZXJzaW9uPW51bWJlcnNdICUgZW51bWVyYSBh bWIgYXJhYmljCgoKXGRlZmluZWVudW1lcmF0aW9uCiAgW2RlZmluaXRpb25dCiAgW2xlbW1hXQog IFt0ZXh0PXtEZWZpbmljacOzfSxzdHlsZT10Zix0aXRsZXN0eWxlPXNjXQoKXGRlZmluZWVudW1l cmF0aW9uCiAgW25vdGF0aW9uXQogIFtkZWZpbml0aW9uXQogIFt0ZXh0PXtOb3RhY2nDs30sc3R5 bGU9dGYsdGl0bGVzdHlsZT1zY10KCkkgaGF2ZSB0byBzcGVjaWZ5IHRoZSB0aXRsZXN0eWxlIGlu IG5vdGF0aW9uIGFuZCBpbiBkZWZpbml0aW9uLiBJZiAKbm90YXRpb24gaW5oZXJpdHMgc3R5bGUg ZnJvbSBkZWZpbml0aW9uIGFuZCB0aGlzIGluaGVyaXRzIGZyb20gbGVtbWEsIHNvIAppdCBzaG91 bGQgaGF2ZSB0aGUgc2FtZSBzdHlsZS4gU28KClxkZWZpbmVlbnVtZXJhdGlvbgogIFtub3RhdGlv bl0KICBbZGVmaW5pdGlvbl0KICBbdGV4dD17Tm90YWNpw7N9XQoKc2hvdWxkIGhhdmUgYWxsIHRo ZSBzYW1lIHN0eWxlIGFzIGRlZmluaXRpb24sIGJ1dCBpdCBpc24ndC4KClhhbi4KX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX18KSWYgeW91ciBxdWVzdGlvbiBpcyBvZiBpbnRlcmVzdCB0byBvdGhl cnMgYXMgd2VsbCwgcGxlYXNlIGFkZCBhbiBlbnRyeSB0byB0aGUgV2lraSEKCm1haWxsaXN0IDog bnRnLWNvbnRleHRAbnRnLm5sIC8gaHR0cDovL3d3dy5udGcubmwvbWFpbG1hbi9saXN0aW5mby9u dGctY29udGV4dAp3ZWJwYWdlICA6IGh0dHA6Ly93d3cucHJhZ21hLWFkZS5ubCAvIGh0dHA6Ly90 ZXguYWFuaGV0Lm5ldAphcmNoaXZlICA6IGh0dHBzOi8vZm91bmRyeS5zdXBlbGVjLmZyL3Byb2pl Y3RzL2NvbnRleHRyZXYvCndpa2kgICAgIDogaHR0cDovL2NvbnRleHRnYXJkZW4ubmV0Cl9fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fCg==