| Mon, 12 Sep 2011 07:55:43 +0200 |
nipkow |
new fastforce replacing fastsimp - less confusing name
|
file |
diff |
annotate
|
| Wed, 17 Aug 2011 18:05:31 +0200 |
wenzelm |
modernized signature of Term.absfree/absdummy;
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 18:41:06 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 13:40:23 +0100 |
haftmann |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
file |
diff |
annotate
|
| Tue, 23 Feb 2010 10:11:15 +0100 |
haftmann |
dropped axclass; dropped Id; session theory Hoare.thy
|
file |
diff |
annotate
|
| Thu, 11 Feb 2010 22:19:58 +0100 |
wenzelm |
modernized translations;
|
file |
diff |
annotate
|
| Wed, 10 Feb 2010 23:53:46 +0100 |
wenzelm |
modernized translations;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2005 12:02:57 +0100 |
paulson |
removed or modified some instances of [iff]
|
file |
diff |
annotate
|
| Fri, 07 Oct 2005 22:59:18 +0200 |
wenzelm |
print_translation: does not handle _idtdummy;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Thu, 26 Jun 2003 18:14:04 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Wed, 14 May 2003 14:20:55 +0200 |
nipkow |
eparation logic - a beginning.
|
file |
diff |
annotate
|
| Tue, 08 Apr 2003 09:05:39 +0200 |
nipkow |
First working version
|
file |
diff |
annotate
|
| Sun, 23 Mar 2003 11:57:07 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 17 Mar 2003 18:38:50 +0100 |
nipkow |
just a few mods to a few thms
|
file |
diff |
annotate
|
| Tue, 11 Mar 2003 15:04:24 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|