huffman [Thu, 01 Jun 2006 23:53:29 +0200] rev 19759
removed legacy ML scripts
wenzelm [Thu, 01 Jun 2006 23:09:34 +0200] rev 19758
tuned;
wenzelm [Thu, 01 Jun 2006 23:07:51 +0200] rev 19757
removed obsolete ML files;
wenzelm [Thu, 01 Jun 2006 21:14:54 +0200] rev 19756
lemmas strip;
wenzelm [Thu, 01 Jun 2006 21:14:05 +0200] rev 19755
removed obsolete ML files;
urbanc [Thu, 01 Jun 2006 14:54:44 +0200] rev 19754
added some installation notes for the nominal package
paulson [Thu, 01 Jun 2006 14:51:37 +0200] rev 19753
Tiny code cleanup
urbanc [Thu, 01 Jun 2006 14:40:22 +0200] rev 19752
added an example suggested by D. Wang on the PoplMark-mailing list;
it shows how the height of an alpha-equated lambda term interacts
with capture-avoiding substitution
urbanc [Thu, 01 Jun 2006 14:15:08 +0200] rev 19751
added the hack "reset NameSpace.unique_names" to Nominal.thy
(Stefan is working on a real fix in the nominal_package)
schirmer [Tue, 30 May 2006 12:24:04 +0200] rev 19750
tuned type print-translations
----------------------------------------------------------------------