| 1997-05-13 |
wenzelm |
of_sort: type_sig -> typ * sort -> bool;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
added system, ind_defs, axclass;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
fixed ISABELLE_DOCS multiple components;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
added System;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
The Isabelle System Manual;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
improved doc stuff;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
added AxClass;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
Tutorial on Axiomatic Type Classes;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
list of manuals to be made automatically;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
'dist', 'clean';
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
added 'clean';
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
move to Inductive/
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
moved here from ..
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
minor tuning;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
minor tuning;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
SYNC;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
improved comments;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
removed README;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
partially adapted to axclass / instance;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
obsolete;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
removed Witness;
|
changeset |
files
|
| 1997-05-12 |
wenzelm |
fixed dependecy: CPure;
|
changeset |
files
|
| 1997-05-09 |
wenzelm |
misc tuning, cleanup, improvements;
|
changeset |
files
|
| 1997-05-09 |
wenzelm |
minor tuning;
|
changeset |
files
|
| 1997-05-09 |
wenzelm |
SYNC;
|
changeset |
files
|
| 1997-05-09 |
wenzelm |
minor tuning;
|
changeset |
files
|
| 1997-05-09 |
wenzelm |
tuned ref to src;
|
changeset |
files
|
| 1997-05-09 |
paulson |
New theorems about "assign"
|
changeset |
files
|
| 1997-05-09 |
paulson |
Fixed precedence of semicolon
|
changeset |
files
|
| 1997-05-09 |
paulson |
New equivalence proofs
|
changeset |
files
|
| 1997-05-08 |
paulson |
New proofs about WHILE and VALOF
|
changeset |
files
|
| 1997-05-08 |
nipkow |
Modified def of Least, which, as Markus correctly complained, looked like
|
changeset |
files
|
| 1997-05-08 |
paulson |
Made a slow proof slightly faster
|
changeset |
files
|
| 1997-05-08 |
paulson |
Changed from fast_tac to blast_tac
|
changeset |
files
|
| 1997-05-07 |
wenzelm |
misc minor improvements;
|
changeset |
files
|
| 1997-05-07 |
wenzelm |
tuned;
|
changeset |
files
|
| 1997-05-07 |
wenzelm |
replaced Int by IntPr, result by qed;
|
changeset |
files
|
| 1997-05-07 |
wenzelm |
fixed ref to srcs;
|
changeset |
files
|
| 1997-05-07 |
wenzelm |
fixed caption font;
|
changeset |
files
|
| 1997-05-07 |
wenzelm |
tuned spaces;
|
changeset |
files
|
| 1997-05-07 |
wenzelm |
fixed braces;
|
changeset |
files
|
| 1997-05-07 |
paulson |
stylistic improvements
|
changeset |
files
|
| 1997-05-07 |
paulson |
Documents directory Induct; stylistic improvements
|
changeset |
files
|
| 1997-05-07 |
paulson |
New acknowledgements
|
changeset |
files
|
| 1997-05-07 |
wenzelm |
fixed witness syntax;
|
changeset |
files
|
| 1997-05-07 |
wenzelm |
SYNC;
|
changeset |
files
|
| 1997-05-07 |
paulson |
New acknowledgements; fixed overfull lines and tables
|
changeset |
files
|
| 1997-05-07 |
paulson |
New acknowledgements; no Fast_tac
|
changeset |
files
|
| 1997-05-07 |
paulson |
Larry's private LaTeX-2e version
|
changeset |
files
|
| 1997-05-07 |
paulson |
Moved induction examples to directory Induct
|
changeset |
files
|
| 1997-05-07 |
paulson |
changed title to README
|
changeset |
files
|
| 1997-05-07 |
paulson |
Documentation for directory "ex"
|
changeset |
files
|
| 1997-05-07 |
paulson |
Documentation for directory "Induct"
|
changeset |
files
|
| 1997-05-07 |
paulson |
Conversion to use blast_tac (with other improvements)
|
changeset |
files
|
| 1997-05-07 |
paulson |
New directory to contain examples of (co)inductive definitions
|
changeset |
files
|
| 1997-05-07 |
paulson |
Description of the Auth directory: security protocols proofs
|
changeset |
files
|
| 1997-05-06 |
wenzelm |
fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
|
changeset |
files
|
| 1997-05-06 |
wenzelm |
tuned;
|
changeset |
files
|
| 1997-05-06 |
wenzelm |
*** empty log message ***
|
changeset |
files
|