paulson [Fri, 08 Apr 2005 18:43:39 +0200] rev 15684
Reconstruction code, now packaged to avoid name clashes
paulson [Fri, 08 Apr 2005 10:50:02 +0200] rev 15683
temporarily removed ATP code
paulson [Thu, 07 Apr 2005 18:44:45 +0200] rev 15682
removed bad code
quigley [Thu, 07 Apr 2005 18:35:21 +0200] rev 15681
Changed prob1.dfg to prob_1.dfg
quigley [Thu, 07 Apr 2005 18:33:56 +0200] rev 15680
Got rid of Main.thy reference
quigley [Thu, 07 Apr 2005 18:20:04 +0200] rev 15679
Integrating the reconstruction files into the building of HOL
quigley [Thu, 07 Apr 2005 17:45:51 +0200] rev 15678
Reconstruction.thy and IsaMakefile updated
nipkow [Thu, 07 Apr 2005 14:07:40 +0200] rev 15677
*** empty log message ***
paulson [Thu, 07 Apr 2005 13:29:41 +0200] rev 15676
new meta-level rules
nipkow [Thu, 07 Apr 2005 10:22:55 +0200] rev 15675
*** empty log message ***