| Sat, 03 Mar 2012 21:01:23 +0100 |
haftmann |
tuned whitespace
|
file |
diff |
annotate
|
| Mon, 12 Sep 2011 07:55:43 +0200 |
nipkow |
new fastforce replacing fastsimp - less confusing name
|
file |
diff |
annotate
|
| Mon, 22 Aug 2011 17:22:49 -0700 |
huffman |
avoid warnings
|
file |
diff |
annotate
|
| Fri, 12 Aug 2011 07:18:28 -0700 |
huffman |
make HOLCF work with separate set type
|
file |
diff |
annotate
|
| Sun, 28 Nov 2010 15:20:51 +0100 |
nipkow |
gave more standard finite set rules simp and intro attribute
|
file |
diff |
annotate
|
| Sat, 20 Mar 2010 02:23:41 +0100 |
Christian Urban |
added lemma infinite_Un
|
file |
diff |
annotate
|
| Sun, 07 Feb 2010 10:16:10 -0800 |
huffman |
remove redundant theorem attributes
|
file |
diff |
annotate
|
| Sat, 16 Jan 2010 17:15:28 +0100 |
haftmann |
dropped some old primrecs and some constdefs
|
file |
diff |
annotate
|
| Thu, 17 Dec 2009 13:49:36 -0800 |
huffman |
add lemma INFM_conjI
|
file |
diff |
annotate
|
| Thu, 17 Dec 2009 09:33:30 -0800 |
huffman |
added lemmas about INFM/MOST
|
file |
diff |
annotate
|
| Mon, 23 Mar 2009 08:14:24 +0100 |
haftmann |
Main is (Complex_Main) base entry point in library theories
|
file |
diff |
annotate
|
| Fri, 13 Feb 2009 23:55:04 +0100 |
nipkow |
finiteness lemmas
|
file |
diff |
annotate
|
| Mon, 09 Feb 2009 16:20:24 +0000 |
chaieb |
Imports Main in order to avoid the typerep problem
|
file |
diff |
annotate
|
| Mon, 07 Jul 2008 08:47:17 +0200 |
haftmann |
absolute imports of HOL/*.thy theories
|
file |
diff |
annotate
|
| Tue, 01 Jul 2008 01:19:08 +0200 |
huffman |
rename lemmas INF_foo to INFM_foo; add new lemmas about MOST and INFM
|
file |
diff |
annotate
|