Sat, 01 Nov 1997 13:00:31 +0100 | paulson | mended type constraint\! | changeset | files |
Sat, 01 Nov 1997 13:00:03 +0100 | paulson | Set.thy was too specific | changeset | files |
Sat, 01 Nov 1997 12:59:06 +0100 | paulson | New Blast_tac (and minor tidying...) | changeset | files |
Sat, 01 Nov 1997 12:58:08 +0100 | paulson | Auto update | changeset | files |
Sat, 01 Nov 1997 12:57:01 +0100 | wenzelm | propagate exn msg; | changeset | files |
Fri, 31 Oct 1997 15:28:01 +0100 | wenzelm | dup sections: warning instead of error; | changeset | files |