Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/HOL.thy
1998-07-24
berghofe
Removed ThyData setup.
file
|
diff
|
annotate
1998-06-22
wenzelm
isatool fixgoal;
file
|
diff
|
annotate
1998-04-29
wenzelm
nonterminals;
file
|
diff
|
annotate
1998-04-04
wenzelm
replaced thy_data by thy_setup;
file
|
diff
|
annotate
1997-12-05
wenzelm
improved arbitrary_def: we now really don't know nothing about it!
file
|
diff
|
annotate
1997-11-03
wenzelm
aded thy_data;
file
|
diff
|
annotate
1997-10-20
wenzelm
adapted to qualified names;
file
|
diff
|
annotate
1997-10-10
wenzelm
fixed dots;
file
|
diff
|
annotate
1997-10-09
wenzelm
fixed infix syntax;
file
|
diff
|
annotate
1997-05-30
paulson
Overloading of "^" requires new type class "power", with types "nat" and
file
|
diff
|
annotate
1997-05-23
nipkow
Added `arbitrary'
file
|
diff
|
annotate
1997-05-20
wenzelm
tuned;
file
|
diff
|
annotate
1997-05-20
wenzelm
improved output syntax of op =, op ~= (more parentheses);
file
|
diff
|
annotate
1997-04-29
wenzelm
deactivated new symbols (not yet printable on xterm, emacs);
file
|
diff
|
annotate
1997-04-29
wenzelm
added \<orelse> symbols syntax for case;
file
|
diff
|
annotate
1997-04-04
nipkow
moved inj and surj from Set to Fun and Inv -> inv.
file
|
diff
|
annotate
1997-03-07
wenzelm
fixed Not syntax;
file
|
diff
|
annotate
1997-03-05
paulson
Renamed constant "not" to "Not"
file
|
diff
|
annotate
1997-01-24
wenzelm
changed case symbol to \<Rightarrow>;
file
|
diff
|
annotate
1996-12-13
oheimb
adaptions for symbol font
file
|
diff
|
annotate
1996-12-10
wenzelm
fixed alternative quantifier symbol syntax;
file
|
diff
|
annotate
1996-12-10
wenzelm
fixed pris of binder syntax;
file
|
diff
|
annotate
1996-11-27
wenzelm
added symbols syntax;
file
|
diff
|
annotate
1996-04-23
oheimb
*** empty log message ***
file
|
diff
|
annotate
1996-04-23
oheimb
repaired critical proofs depending on the order inside non-confluent SimpSets,
file
|
diff
|
annotate
1995-11-29
clasohm
removed quotes from types in consts and syntax sections
file
|
diff
|
annotate
1995-10-06
regensbu
added 8bit pragmas
file
|
diff
|
annotate
1995-08-18
nipkow
changed "o" to (infixl 55)
file
|
diff
|
annotate
1995-05-09
nipkow
Prod is now a parent of Lfp.
file
|
diff
|
annotate
1995-04-22
nipkow
HOL.thy:
file
|
diff
|
annotate
1995-03-26
nipkow
Modified If_def to avoid ambiguity.
file
|
diff
|
annotate
1995-03-20
clasohm
changed syntax of "if"
file
|
diff
|
annotate
1995-03-03
clasohm
new version of HOL with curried function application
file
|
diff
|
annotate
less
more
(0)
tip