QuotMain.thy
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
Sat, 24 Oct 2009 16:09:05 +0200 Christian Urban moved the map_funs setup into QuotMain
Sat, 24 Oct 2009 08:34:14 +0200 cek Undid wrong merge
Sat, 24 Oct 2009 08:24:26 +0200 cek Cleaning the mess
Sat, 24 Oct 2009 01:33:29 +0200 Christian Urban fixed problem with incorrect ABS/REP name
less more (0) -100 -30 -10 -6 tip