| Thu, 03 Jul 2008 20:53:44 +0200 | huffman | use real_of_nat_ge_zero instead of real_of_nat_fact_ge_zero | changeset | files |
| Thu, 03 Jul 2008 20:15:06 +0200 | wenzelm | removed old NSPrimes, cf. NSA/Examples/; | changeset | files |
| Thu, 03 Jul 2008 20:10:52 +0200 | wenzelm | cvsps: back to non-verbose mode; | changeset | files |
| Thu, 03 Jul 2008 19:50:19 +0200 | wenzelm | removed old Complex/ex/NSPrimes.thy; | changeset | files |
| Thu, 03 Jul 2008 19:47:05 +0200 | wenzelm | maxfiles = 50; | changeset | files |
| Thu, 03 Jul 2008 19:17:52 +0200 | wenzelm | more sessions; | changeset | files |