Sat, 21 May 2011 00:00:14 +0200 | wenzelm | misc tuning and update; | changeset | files |
Fri, 20 May 2011 23:59:46 +0200 | wenzelm | updated versions; | changeset | files |
Fri, 20 May 2011 20:44:03 +0200 | wenzelm | added Isabelle_Process.is_active; | changeset | files |
Fri, 20 May 2011 18:12:12 +0200 | blanchet | update example | changeset | files |
Fri, 20 May 2011 18:01:46 +0200 | blanchet | name tuning | changeset | files |
Fri, 20 May 2011 17:16:13 +0200 | blanchet | further improvements to "poly_{preds,tags}_{bang,query}" -- better solution to the combinator problem + make sure type assumptions can be discharged | changeset | files |
Fri, 20 May 2011 17:16:13 +0200 | blanchet | prevent unsound combinator proofs in partially typed polymorphic type systems | changeset | files |