Thu, 19 Nov 2009 08:00:42 -0800 prove isomorphism and isodefl rules
huffman [Thu, 19 Nov 2009 08:00:42 -0800] rev 33782
prove isomorphism and isodefl rules
Thu, 19 Nov 2009 07:09:04 -0800 avoid using csplit; define copy functions exactly like the current domain package
huffman [Thu, 19 Nov 2009 07:09:04 -0800] rev 33781
avoid using csplit; define copy functions exactly like the current domain package
Thu, 19 Nov 2009 06:01:02 -0800 merged
huffman [Thu, 19 Nov 2009 06:01:02 -0800] rev 33780
merged
Wed, 18 Nov 2009 16:57:58 -0800 remove one_typ and tr_typ; add abs/rep lemmas
huffman [Wed, 18 Nov 2009 16:57:58 -0800] rev 33779
remove one_typ and tr_typ; add abs/rep lemmas
Wed, 18 Nov 2009 16:14:28 -0800 automate definition of rep/abs functions
huffman [Wed, 18 Nov 2009 16:14:28 -0800] rev 33778
automate definition of rep/abs functions
Wed, 18 Nov 2009 15:54:47 -0800 get rid of numbers on thy variables
huffman [Wed, 18 Nov 2009 15:54:47 -0800] rev 33777
get rid of numbers on thy variables
Wed, 18 Nov 2009 15:51:35 -0800 automate proofs of REP equations
huffman [Wed, 18 Nov 2009 15:51:35 -0800] rev 33776
automate proofs of REP equations
Wed, 18 Nov 2009 15:01:00 -0800 cleaned up; factored out fixed-point definition code
huffman [Wed, 18 Nov 2009 15:01:00 -0800] rev 33775
cleaned up; factored out fixed-point definition code
Wed, 18 Nov 2009 12:41:43 -0800 automate solution of domain equations
huffman [Wed, 18 Nov 2009 12:41:43 -0800] rev 33774
automate solution of domain equations
Fri, 20 Nov 2009 00:54:20 +0100 removed fixme - quick-and-dirty flag is appropriate
Christian Urban <urbanc@in.tum.de> [Fri, 20 Nov 2009 00:54:20 +0100] rev 33773
removed fixme - quick-and-dirty flag is appropriate
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip