| Tue, 18 Nov 2008 00:11:06 +0100 | wenzelm | finish: force proofs; | changeset | files |
| Mon, 17 Nov 2008 23:34:35 +0100 | wenzelm | finish_proof: undefined promises may occur here; | changeset | files |
| Mon, 17 Nov 2008 23:17:13 +0100 | wenzelm | tuned promise/fullfill; | changeset | files |
| Mon, 17 Nov 2008 23:17:11 +0100 | wenzelm | unified treatment of PAxm/Oracle/Promise in basic proof term operations; | changeset | files |
| Mon, 17 Nov 2008 21:36:48 +0100 | wenzelm | removed Induct/Mutil.thy -- the file has been moved to AFP; | changeset | files |
| Mon, 17 Nov 2008 21:28:46 +0100 | wenzelm | simplified thm_deps -- no need to build a graph datastructure; | changeset | files |
| Mon, 17 Nov 2008 21:13:48 +0100 | wenzelm | removed Induct/Mutil.thy -- the file has been moved to AFP; | changeset | files |