huffman [Sun, 17 Oct 2010 09:53:47 -0700] rev 40035
simplify some proofs
Christian Urban <urbanc@in.tum.de> [Tue, 19 Oct 2010 15:13:35 +0100] rev 40034
tuned
bulwahn [Tue, 19 Oct 2010 12:26:38 +0200] rev 40033
added some facts about factorial and dvd, div and mod
bulwahn [Tue, 19 Oct 2010 12:26:37 +0200] rev 40032
removing something that probably slipped into the Quotient_List theory
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 19 Oct 2010 11:44:42 +0900] rev 40031
Quotient package: partial equivalence introduction
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)
huffman [Sat, 16 Oct 2010 17:10:23 -0700] rev 40029
remove dead code
huffman [Sat, 16 Oct 2010 17:09:57 -0700] rev 40028
remove old uses of 'simp_tac HOLCF_ss'
huffman [Sat, 16 Oct 2010 16:39:06 -0700] rev 40027
merged
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
huffman [Sat, 16 Oct 2010 15:26:30 -0700] rev 40025
reimplement proof automation for coinduct rules
huffman [Sat, 16 Oct 2010 14:41:11 -0700] rev 40024
add functions mk_imp, mk_all