QuotMain.thy
Tue, 27 Oct 2009 17:08:47 +0100 Cezary Kaliszyk map_append lifted automatically.
Tue, 27 Oct 2009 15:00:15 +0100 Cezary Kaliszyk Merged
Tue, 27 Oct 2009 14:59:00 +0100 Cezary Kaliszyk Fixed APPLY_RSP vs Cong in the InjRepAbs tactic.
Tue, 27 Oct 2009 14:46:38 +0100 Christian Urban tuned
Tue, 27 Oct 2009 14:14:30 +0100 Christian Urban added equiv-thm to the quot_info
Tue, 27 Oct 2009 11:27:53 +0100 Christian Urban made quotients compatiple with Nominal; updated keyword file
Tue, 27 Oct 2009 09:01:12 +0100 Cezary Kaliszyk Completely cleaned Int.
Tue, 27 Oct 2009 07:46:52 +0100 Cezary Kaliszyk Further reordering in Int code.
Mon, 26 Oct 2009 14:18:26 +0100 Christian Urban merged
Mon, 26 Oct 2009 13:33:28 +0100 Cezary Kaliszyk Symmetry of integer addition
Mon, 26 Oct 2009 11:55:36 +0100 Cezary Kaliszyk Finished the code for adding lower defs, and more things moved to QuotMain
Mon, 26 Oct 2009 10:02:50 +0100 Cezary Kaliszyk Cleaning and fixing.
Sun, 25 Oct 2009 23:44:41 +0100 Christian Urban added code for declaring map-functions
Sun, 25 Oct 2009 00:14:40 +0200 Christian Urban added data-storage about the quotients
Sat, 24 Oct 2009 18:17:38 +0200 Christian Urban changed the definitions of liftet constants to use fun_maps
less more (0) -100 -15 tip