Etae
  Home FAQ Contact Sign in
 
Advanced search
MATCHING GROUPS



more...
POPULAR GROUPS

more...

found 92 articles for 0.341 sec
Hello Brian & Isabelle users. There's a tension here between Isabelle's resolution engine and its rewriting engine. The resolution engine makes eta-expansion irrelevant; the simplification engine does not. This is more often seen with simplification rules like o_apply - simple constants like "op o" seem to get unfolded inexplicably, the explanation being that the term they were in had been invisibly     

Group: fa.isabelle · Group Profile · Search for Etae in fa.isabelle
Author: Thomas Sewell
Date: May 14, 2010 00:11

On Thu, 14 Jul 2011 11:14:33 +0200, Hauke Reddmann <fc3a501@uni-hamburg.de> wrote: Mit welchem Fahrzeug tut man das eigentlich? Mit einem Fomalhaut natürlich. A,genau! [1] Wazn [2] das? Braucht man dafür eimptlich n Navi [3]? Oder biste dafür zu Arm [4]? [1] Beta Centauri [2] Gamma Cassiopeiae [3] Beta Columbae [4] Eta Capricorni [Guttenberg] http://de.wikipedia
Show full article (4.70Kb)
Andy Angerer <andreas@angerer-bodenlos.de> wrote: > On Wed, 13 Jul 2011 18:14:23 +0200, Wolfram Teufel <teufel1959@arcor.de> > wrote: >>> Das ist ja zum aus der Haut fahren. >> >> Mit welchem Fahrzeug tut man das eigentlich? > Mit einem Fomalhaut natürlich. A,genau! [1] Wazn [2] das? Braucht man dafür eimptlich n Navi [3]? Oder biste dafür zu Arm [4]? [1] Beta Centauri [2] Gamma     

Group: de.talk.jokes · Group Profile · Search for Etae in de.talk.jokes
Author: Andy Angerer
Date: Jul 14, 2011 02:55

|Sollte das vorangegangene inhaltlich wertvolle Posting abhanden gekommen |sein, nachfolgend der Inhalt, um die mühevolle Suche auf www.narkive.com |zu ersparen (ein kostenloser Infodienst von <http://www.hinterfotz.de>)! |Unser Usenet bringt nicht immer Spaß: <http://megaswf.com/serve/1050482> Am 10.05.2011 um 14:07 schrieb Der Habakuk: Halten wir an der Zusammenfassung fest. Du hattest
Show full article (0.57Kb) · Show article thread
|Sollte das vorangegangene inhaltlich wertvolle Posting abhanden gekommen |sein, nachfolgend der Inhalt, um die mühevolle Suche auf www.narkive.com |zu ersparen (ein kostenloser Infodienst von <http://www.hinterfotz.de>)! |Unser Usenet bringt nicht immer Spaß: <http://megaswf.com/serve/1050482> Halten wir an der Zusammenfassung fest. Du hattest ne Meinung, da kanntest da gerade das Vorwort     

Group: de.talk.jokes · Group Profile · Search for Etae in de.talk.jokes
Author: Hauke Reddmann
Date: Jul 14, 2011 02:14

X-NO-ARCHIVE=NIE-NIEMALS-NICHT <diskriminator@tipota.de> wrote: |Sollte das vorangegangene inhaltlich wertvolle Posting abhanden gekommen |sein, nachfolgend der Inhalt, um die mühevolle Suche auf www.narkive.com |zu ersparen (ein kostenloser Infodienst von <http://www.hinterfotz.de>)! |Unser Usenet bringt nicht immer Spaß: <http://megaswf.com/serve/1050482> Am 05.05.2011 um 10
Show full article (0.64Kb) · Show article thread
X-NO-ARCHIVE=NIE-NIEMALS-NICHT <diskriminator@tipota.de> wrote: > |Sollte das vorangegangene inhaltlich wertvolle Posting abhanden gekommen > |sein, nachfolgend der Inhalt, um die mühevolle Suche auf www.narkive.com > |zu ersparen (ein kostenloser Infodienst von <http://www.hinterfotz.de>)! > |Unser Usenet bringt nicht immer Spaß: <http://megaswf.com/serve/1050482> > > Am 05.05.2011 um 10     

Group: de.soc.politik.misc · Group Profile · Search for Etae in de.soc.politik.misc
Author: X-NO-ARCHIVE=NIE-NIEMALS-NICHT
Date: May 10, 2011 17:02

|Sollte das vorangegangene inhaltlich wertvolle Posting abhanden gekommen |sein, nachfolgend der Inhalt, um die mühevolle Suche auf www.narkive.com |zu ersparen (ein kostenloser Infodienst von <http://www.hinterfotz.de>)! |Unser Usenet bringt nicht immer Spaß: <http://megaswf.com/serve/1050482> Am 05.05.2011 um 10:30 schrieb Der Habakuk: Fassen wir das mal zusammen: Du hattest ne
Show full article (4.02Kb) · Show article thread
* On Tue, 19 Apr 2011 20:19:29 -0700 (PDT), bastian wrote: > On 19 Apr., 12:24, Holger Marzen <hol...@marzen.de> wrote: > >> >> Was würden Mitterand, Obama oder Cameron einsetzen, wenn vom Ausland >> bewaffnete Aufständische eine Revolution im Lande anzetteln würden? >> > > Übrigens, was mir am Herzen liegt... > > Wann bitte endlich werden die Basken-ETA-Batasuna > vom Ausland mit Geld     

Group: de.soc.politik.misc · Group Profile · Search for Etae in de.soc.politik.misc
Author: X-NO-ARCHIVE=NIE-NIEMALS-NICHT
Date: May 10, 2011 04:48

On 19 Apr., 12:24, Holger Marzen <hol...@marzen.de> wrote: Was würden Mitterand, Obama oder Cameron einsetzen, wenn vom Ausland bewaffnete Aufständische eine Revolution im Lande anzetteln würden? Übrigens, was mir am Herzen liegt... Wann bitte endlich werden die Basken-ETA-Batasuna vom Ausland mit Geld und modernen Waffen aufgerüstet und die Nato bombardiert endlich die spanische
Show full article (3.67Kb) · Show article thread
    

Group: de.soc.politik.misc · Group Profile · Search for Etae in de.soc.politik.misc
Author: Der Habakuk
Date: May 6, 2011 00:09

Show full article (5.29Kb) · Show article thread
    

Group: de.soc.politik.misc · Group Profile · Search for Etae in de.soc.politik.misc
Author: Der Habakuk
Date: May 5, 2011 23:31

Show full article (5.29Kb) · Show article thread
    

Group: de.soc.politik.misc · Group Profile · Search for Etae in de.soc.politik.misc
Author: X-NO-ARCHIVE=NIE-NIEMALS-NICHT
Date: May 5, 2011 18:03

Show full article (3.08Kb) · Show article thread
    

Group: de.talk.tagesgeschehen · Group Profile · Search for Etae in de.talk.tagesgeschehen
Author: Holger Marzen
Date: Apr 19, 2011 22:20

Show full article (0.69Kb) · Show article thread
    

Group: de.talk.tagesgeschehen · Group Profile · Search for Etae in de.talk.tagesgeschehen
Author: bastian
Date: Apr 19, 2011 20:19

Show full article (0.61Kb) · Show article thread
1 · 2 · 3 · 4 · 5 · 6 · 7 · 8 · 9 · next