Thu, 12 Jun 2008 14:20:25 +0200 typo
nipkow [Thu, 12 Jun 2008 14:20:25 +0200] rev 27167
typo
Thu, 12 Jun 2008 14:20:07 +0200 had to add rule: because induct_tac no longer works correctly
nipkow [Thu, 12 Jun 2008 14:20:07 +0200] rev 27166
had to add rule: because induct_tac no longer works correctly
Thu, 12 Jun 2008 14:10:41 +0200 Hid swap
nipkow [Thu, 12 Jun 2008 14:10:41 +0200] rev 27165
Hid swap
Thu, 12 Jun 2008 11:51:47 +0200 some reformatting;
wenzelm [Thu, 12 Jun 2008 11:51:47 +0200] rev 27164
some reformatting;
Thu, 12 Jun 2008 10:03:45 +0200 added CK_Machine to the nominal section
urbanc [Thu, 12 Jun 2008 10:03:45 +0200] rev 27163
added CK_Machine to the nominal section
Thu, 12 Jun 2008 09:56:28 +0200 soundness and completeness proofs for a CK machine as
urbanc [Thu, 12 Jun 2008 09:56:28 +0200] rev 27162
soundness and completeness proofs for a CK machine as well as proofs for type preservation
Thu, 12 Jun 2008 09:41:13 +0200 emoved the parts that deal with the CK machine to a new theory
urbanc [Thu, 12 Jun 2008 09:41:13 +0200] rev 27161
emoved the parts that deal with the CK machine to a new theory
Thu, 12 Jun 2008 09:37:13 +0200 tuned header and comments
urbanc [Thu, 12 Jun 2008 09:37:13 +0200] rev 27160
tuned header and comments
Wed, 11 Jun 2008 18:15:36 +0200 OldGoals.inst;
wenzelm [Wed, 11 Jun 2008 18:15:36 +0200] rev 27159
OldGoals.inst;
Wed, 11 Jun 2008 18:04:02 +0200 Drule.read_instantiate;
wenzelm [Wed, 11 Jun 2008 18:04:02 +0200] rev 27158
Drule.read_instantiate; Drule.types_sorts;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip