| Mon, 29 Oct 2007 16:13:46 +0100 |
wenzelm |
improved notion of 'nicer' fact names (observe some name space properties);
|
changeset |
files
|
| Mon, 29 Oct 2007 16:13:44 +0100 |
wenzelm |
export is_hidden;
|
changeset |
files
|
| Mon, 29 Oct 2007 16:13:43 +0100 |
wenzelm |
added bool_ord;
|
changeset |
files
|
| Mon, 29 Oct 2007 16:13:41 +0100 |
wenzelm |
qualified Proofterm.proofs;
|
changeset |
files
|
| Mon, 29 Oct 2007 10:37:09 +0100 |
krauss |
fun/function: generate case names for induction rules
|
changeset |
files
|
| Sun, 28 Oct 2007 13:18:00 +0100 |
wenzelm |
append/member: more light-weight way to declare authentic syntax;
|
changeset |
files
|
| Sun, 28 Oct 2007 13:16:09 +0100 |
wenzelm |
made SML/NJ happy;
|
changeset |
files
|
| Sun, 28 Oct 2007 11:57:04 +0100 |
wenzelm |
safe_exit: controlled_execution;
|
changeset |
files
|
| Sat, 27 Oct 2007 18:37:33 +0200 |
obua |
better compute oracle
|
changeset |
files
|
| Sat, 27 Oct 2007 18:37:32 +0200 |
obua |
better compute oracle
|
changeset |
files
|
| Sat, 27 Oct 2007 18:37:06 +0200 |
obua |
adapted Compute...
|
changeset |
files
|
| Sat, 27 Oct 2007 15:53:23 +0200 |
krauss |
use "fun" for definition of "member" -> authentic syntax
|
changeset |
files
|