Tue, 19 Oct 2010 12:26:37 +0200 removing something that probably slipped into the Quotient_List theory
bulwahn [Tue, 19 Oct 2010 12:26:37 +0200] rev 40032
removing something that probably slipped into the Quotient_List theory
Tue, 19 Oct 2010 11:44:42 +0900 Quotient package: partial equivalence introduction
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 19 Oct 2010 11:44:42 +0900] rev 40031
Quotient package: partial equivalence introduction
Mon, 18 Oct 2010 14:25:15 +0100 reorganisation of the FSet theory (changed the primary naming scheme of constants and theorems to *_fset)
Christian Urban <urbanc@in.tum.de> [Mon, 18 Oct 2010 14:25:15 +0100] rev 40030
reorganisation of the FSet theory (changed the primary naming scheme of constants and theorems to *_fset)
Sat, 16 Oct 2010 17:10:23 -0700 remove dead code
huffman [Sat, 16 Oct 2010 17:10:23 -0700] rev 40029
remove dead code
Sat, 16 Oct 2010 17:09:57 -0700 remove old uses of 'simp_tac HOLCF_ss'
huffman [Sat, 16 Oct 2010 17:09:57 -0700] rev 40028
remove old uses of 'simp_tac HOLCF_ss'
Sat, 16 Oct 2010 16:39:06 -0700 merged
huffman [Sat, 16 Oct 2010 16:39:06 -0700] rev 40027
merged
Sat, 16 Oct 2010 16:22:42 -0700 remove last few dependencies on domain_library.ML and delete it; temporarily disable emptiness check
huffman [Sat, 16 Oct 2010 16:22:42 -0700] rev 40026
remove last few dependencies on domain_library.ML and delete it; temporarily disable emptiness check
Sat, 16 Oct 2010 15:26:30 -0700 reimplement proof automation for coinduct rules
huffman [Sat, 16 Oct 2010 15:26:30 -0700] rev 40025
reimplement proof automation for coinduct rules
Sat, 16 Oct 2010 14:41:11 -0700 add functions mk_imp, mk_all
huffman [Sat, 16 Oct 2010 14:41:11 -0700] rev 40024
add functions mk_imp, mk_all
Fri, 15 Oct 2010 08:52:53 -0700 move emptiness check to comp_theorems; remove eqs parameter to prove_induction; remove dead code
huffman [Fri, 15 Oct 2010 08:52:53 -0700] rev 40023
move emptiness check to comp_theorems; remove eqs parameter to prove_induction; remove dead code
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip