2008-03-20 agoexport add/del_thm;
wenzelm [Thu, 20 Mar 2008 16:04:34 +0100] rev 26363
export add/del_thm;

2008-03-20 agoadded print_properties, print_position;
wenzelm [Thu, 20 Mar 2008 16:04:32 +0100] rev 26362
added print_properties, print_position;

2008-03-20 agoFacts.Named: include position;
wenzelm [Thu, 20 Mar 2008 16:04:30 +0100] rev 26361
Facts.Named: include position;

2008-03-20 agotuned proofs
haftmann [Thu, 20 Mar 2008 12:09:22 +0100] rev 26360
tuned proofs

2008-03-20 agomore antiquotations
haftmann [Thu, 20 Mar 2008 12:09:20 +0100] rev 26359
more antiquotations

2008-03-20 agoProduct_Type.apfst and Product_Type.apsnd; mbind combinator; tuned
haftmann [Thu, 20 Mar 2008 12:04:54 +0100] rev 26358
Product_Type.apfst and Product_Type.apsnd; mbind combinator; tuned

2008-03-20 agoadded forward composition
haftmann [Thu, 20 Mar 2008 12:04:53 +0100] rev 26357
added forward composition

2008-03-20 agoProduct_Type.apfst and Product_Type.apsnd
haftmann [Thu, 20 Mar 2008 12:02:52 +0100] rev 26356
Product_Type.apfst and Product_Type.apsnd

2008-03-20 agoTheory Product_Type; fixed typos
haftmann [Thu, 20 Mar 2008 12:02:51 +0100] rev 26355
Theory Product_Type; fixed typos

2008-03-20 agorearranged
haftmann [Thu, 20 Mar 2008 12:01:17 +0100] rev 26354
rearranged