| Wed, 28 Apr 2010 16:11:07 -0700 | huffman | move path-related stuff into new theory file | changeset | files |
| Wed, 28 Apr 2010 15:07:03 -0700 | huffman | add new Multivariate_Analysis files to IsaMakefile | changeset | files |
| Wed, 28 Apr 2010 15:05:45 -0700 | huffman | move operator norm stuff to new theory file | changeset | files |
| Fri, 30 Apr 2010 18:29:04 +0200 | wenzelm | eliminated spurious sledgehammer invocation; | changeset | files |
| Fri, 30 Apr 2010 18:12:41 +0200 | wenzelm | merged | changeset | files |
| Fri, 30 Apr 2010 17:53:49 +0200 | haftmann | merged | changeset | files |
| Fri, 30 Apr 2010 14:23:00 +0200 | haftmann | merged | changeset | files |
| Fri, 30 Apr 2010 14:20:55 +0200 | haftmann | enclose case expression in brackets | changeset | files |
| Fri, 30 Apr 2010 14:58:21 +0200 | blanchet | catch the right exception | changeset | files |
| Fri, 30 Apr 2010 14:52:49 +0200 | blanchet | eliminate trivial case splits from Isar proofs | changeset | files |
| Fri, 30 Apr 2010 14:52:06 +0200 | blanchet | remove debugging code | changeset | files |
| Fri, 30 Apr 2010 14:00:47 +0200 | blanchet | merged | changeset | files |