isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

Removed some (not all!) uses of FOL_cs
1997-01-08, by paulson
Simplification of some proofs, especially by eliminating
1997-01-07, by paulson
Incorporation of HPair into Message
1997-01-07, by paulson
Default rewrite rules for quantification over Collect(A,P)
1997-01-07, by paulson
Default rewrite rules for quantification over Collect(A,P)
1997-01-07, by paulson
Now uses HPair
1997-01-07, by paulson
Tidied up the unicity proofs
1997-01-07, by paulson
Updated account of implicit simpsets and clasets
1997-01-07, by paulson
added ISABELLE, ISATOOL;
1997-01-07, by wenzelm
testdir: use dir without committing into database;
1997-01-07, by wenzelm
added dvi viewer alternative;
1997-01-07, by wenzelm
fixed cmp -s option;
1997-01-07, by wenzelm
minor tuning;
1997-01-07, by wenzelm
minor tuning;
1997-01-07, by wenzelm
minor tuning;
1997-01-07, by wenzelm
added stamp util;
1997-01-06, by wenzelm
A definition of "print", unfortunately overridden by each "open PolyML"
1997-01-03, by paulson
Implicit simpsets and clasets for FOL and ZF
1997-01-03, by paulson
Added TFL
1997-01-03, by paulson
Conversion to Basis Library (using prs instead of output)
1997-01-03, by paulson
changed xterm geometry;
1996-12-20, by wenzelm
removed test
1996-12-20, by oheimb
testing...
1996-12-20, by oheimb
testing cvs merge algorithm, 2nd
1996-12-20, by sandnerr
testing...
1996-12-20, by oheimb
testing cvs merge algorithm
1996-12-20, by sandnerr
testing...
1996-12-20, by oheimb
testing: last line w/o nl
1996-12-20, by oheimb
testing: last line w/o nl
1996-12-20, by oheimb
testing...
1996-12-20, by oheimb

less more | (0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle