| Mon, 21 May 2007 19:11:40 +0200 | haftmann | added lemma divAlg_div_mof | file | diff | annotate |
| Thu, 17 May 2007 19:49:16 +0200 | haftmann | tuned | file | diff | annotate |
| Sun, 13 May 2007 18:15:23 +0200 | haftmann | tuned setup | file | diff | annotate |
| Thu, 26 Apr 2007 13:33:07 +0200 | haftmann | replaced recdef by function | file | diff | annotate |
| Fri, 20 Apr 2007 11:21:42 +0200 | haftmann | Isar definitions are now added explicitly to code theorem table | file | diff | annotate |
| Fri, 19 Jan 2007 15:13:47 +0100 | chaieb | Theorem "(x::int) dvd 1 = ( ¦x¦ = 1)" added to default simpset. | file | diff | annotate |
| Sat, 06 Jan 2007 20:47:09 +0100 | chaieb | A few theorems on integer divisibily. | file | diff | annotate |