gagern [Tue, 20 Mar 2007 21:21:38 +0100] rev 22489
Better documentation path rewriting for src dir, used in tarball build.
gagern [Tue, 20 Mar 2007 20:42:14 +0100] rev 22488
Changed AnnoMaLy build process from CVS to tarball sources.
Moved annomaly.ML from the official sources to the isatest directory.
krauss [Tue, 20 Mar 2007 17:07:23 +0100] rev 22487
simplified "eval" oracle method
haftmann [Tue, 20 Mar 2007 15:52:43 +0100] rev 22486
updated keywords
haftmann [Tue, 20 Mar 2007 15:52:42 +0100] rev 22485
added theory dependency graph
haftmann [Tue, 20 Mar 2007 15:52:41 +0100] rev 22484
improved treatment of defining equations stemming from specification tools
haftmann [Tue, 20 Mar 2007 15:52:40 +0100] rev 22483
added instance for lattice
haftmann [Tue, 20 Mar 2007 15:52:39 +0100] rev 22482
dropped OrderedGroup.ML
haftmann [Tue, 20 Mar 2007 15:52:38 +0100] rev 22481
added class "default" and expansion axioms for undefined
haftmann [Tue, 20 Mar 2007 15:52:37 +0100] rev 22480
switched exception from arbitrary to undefined