Tue, 19 Apr 2005 13:35:01 +0200 auto update
paulson [Tue, 19 Apr 2005 13:35:01 +0200] rev 15772
auto update
Tue, 19 Apr 2005 13:34:50 +0200 restored the target HOL-Complex-Import
paulson [Tue, 19 Apr 2005 13:34:50 +0200] rev 15771
restored the target HOL-Complex-Import
Tue, 19 Apr 2005 11:40:23 +0200 fixed presentation
paulson [Tue, 19 Apr 2005 11:40:23 +0200] rev 15770
fixed presentation
Tue, 19 Apr 2005 10:59:31 +0200 Removed mult_commute axiom from comm_semiring axclass.
obua [Tue, 19 Apr 2005 10:59:31 +0200] rev 15769
Removed mult_commute axiom from comm_semiring axclass.
Tue, 19 Apr 2005 00:14:27 +0200 compilation error fixed
webertj [Tue, 19 Apr 2005 00:14:27 +0200] rev 15768
compilation error fixed
Mon, 18 Apr 2005 17:20:49 +0200 support for recursion over mutually recursive IDTs
webertj [Mon, 18 Apr 2005 17:20:49 +0200] rev 15767
support for recursion over mutually recursive IDTs
Mon, 18 Apr 2005 15:54:23 +0200 Cleaned up, now use interpretation.
ballarin [Mon, 18 Apr 2005 15:54:23 +0200] rev 15766
Cleaned up, now use interpretation.
Mon, 18 Apr 2005 15:53:51 +0200 Cleaned up, now uses interpretation.
ballarin [Mon, 18 Apr 2005 15:53:51 +0200] rev 15765
Cleaned up, now uses interpretation.
Mon, 18 Apr 2005 10:36:05 +0200 deleted obsolete code
paulson [Mon, 18 Apr 2005 10:36:05 +0200] rev 15764
deleted obsolete code
Mon, 18 Apr 2005 09:25:23 +0200 Interpretation supports statically scoped attributes; documentation.
ballarin [Mon, 18 Apr 2005 09:25:23 +0200] rev 15763
Interpretation supports statically scoped attributes; documentation.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip