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 |
Thu, 03 Jul 2008 19:17:29 +0200 | wenzelm | more precise dependencies for HOL-Word and HOL-NSA; | changeset | files |