Thu, 22 Oct 2009 09:27:48 +0200 |
nipkow |
inv_onto -> inv_into
|
file |
diff |
annotate
|
Sun, 18 Oct 2009 12:07:56 +0200 |
nipkow |
merged
|
file |
diff |
annotate
|
Sun, 18 Oct 2009 12:07:25 +0200 |
nipkow |
Inv -> inv_onto, inv abbr. inv_onto UNIV.
|
file |
diff |
annotate
|
Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
Thu, 09 Jul 2009 23:05:59 +0200 |
krauss |
reorganised; many new lemmas thanks to sledgehammer
|
file |
diff |
annotate
|
Thu, 04 Sep 2008 17:21:49 +0200 |
huffman |
rename INF_drop_prefix to INFM_drop_prefix
|
file |
diff |
annotate
|
Tue, 01 Jul 2008 06:51:59 +0200 |
huffman |
remove simp attribute from range_composition
|
file |
diff |
annotate
|
Tue, 01 Jul 2008 06:21:28 +0200 |
huffman |
rename INF to INFM
|
file |
diff |
annotate
|
Wed, 02 Apr 2008 15:58:32 +0200 |
haftmann |
explicit class "eq" for operational equality
|
file |
diff |
annotate
|
Tue, 06 Nov 2007 17:44:53 +0100 |
krauss |
moved stuff about size change termination to its own session
|
file |
diff |
annotate
|