Fri, 27 May 2005 01:12:15 +0200 added lemmas monofun_lub_fun and cont_lub_fun
huffman [Fri, 27 May 2005 01:12:15 +0200] rev 16096
added lemmas monofun_lub_fun and cont_lub_fun
Fri, 27 May 2005 01:09:44 +0200 put global isatest settings in one file, sourced by the other scripts
kleing [Fri, 27 May 2005 01:09:44 +0200] rev 16095
put global isatest settings in one file, sourced by the other scripts
Fri, 27 May 2005 00:24:02 +0200 Use TypedefPcpo theorem for po instance
huffman [Fri, 27 May 2005 00:24:02 +0200] rev 16094
Use TypedefPcpo theorem for po instance
Fri, 27 May 2005 00:16:18 +0200 use thelub_const lemma
huffman [Fri, 27 May 2005 00:16:18 +0200] rev 16093
use thelub_const lemma
Fri, 27 May 2005 00:15:24 +0200 added lemma thelub_const
huffman [Fri, 27 May 2005 00:15:24 +0200] rev 16092
added lemma thelub_const
Thu, 26 May 2005 18:34:23 +0200 further tweaks to the SPASS setup
paulson [Thu, 26 May 2005 18:34:23 +0200] rev 16091
further tweaks to the SPASS setup
Thu, 26 May 2005 16:50:20 +0200 goodby to modUnix
paulson [Thu, 26 May 2005 16:50:20 +0200] rev 16090
goodby to modUnix
Thu, 26 May 2005 16:50:07 +0200 trying to set up portable calling sequences for SPASS and tptp2X
paulson [Thu, 26 May 2005 16:50:07 +0200] rev 16089
trying to set up portable calling sequences for SPASS and tptp2X
Thu, 26 May 2005 10:05:28 +0200 cleaned up select_match
kleing [Thu, 26 May 2005 10:05:28 +0200] rev 16088
cleaned up select_match do not return trivial matches made simp: t work
Thu, 26 May 2005 10:05:11 +0200 Narrower version of the Proof General's head; removal of the alternative icon and environment
paulson [Thu, 26 May 2005 10:05:11 +0200] rev 16087
Narrower version of the Proof General's head; removal of the alternative icon and environment
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip