Wed, 26 Sep 2007 22:38:11 +0200 | wenzelm | tuned; | changeset | files |
Wed, 26 Sep 2007 22:28:00 +0200 | wenzelm | tuned; | changeset | files |
Wed, 26 Sep 2007 22:27:44 +0200 | wenzelm | tuned; | changeset | files |
Wed, 26 Sep 2007 22:21:05 +0200 | wenzelm | * Pure/Isar: unified specification syntax admits type inference and dummy patterns; | changeset | files |
Wed, 26 Sep 2007 22:21:02 +0200 | wenzelm | read/check_specification: free_dummy_patterns; | changeset | files |
Wed, 26 Sep 2007 22:20:59 +0200 | wenzelm | added free_dummy_patterns; | changeset | files |