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/Auth/NS_Public.thy
2010-07-22
wenzelm
updated some headers;
file
|
diff
|
annotate
2009-10-17
wenzelm
eliminated hard tabulators, guessing at each author's individual tab-width;
file
|
diff
|
annotate
2007-07-11
berghofe
Adapted to new inductive definition package.
file
|
diff
|
annotate
2005-06-17
haftmann
migrated theory headers to new format
file
|
diff
|
annotate
2003-09-26
paulson
Conversion of all main protocols from "Shared" to "Public".
file
|
diff
|
annotate
2003-09-23
paulson
Removal of the Key_supply axiom (affects many possbility proofs) and minor
file
|
diff
|
annotate
2003-05-05
paulson
improved presentation of HOL/Auth theories
file
|
diff
|
annotate
2003-04-26
paulson
converting more HOL-Auth to new-style theories
file
|
diff
|
annotate
2003-04-25
paulson
Changes required by the certified email protocol
file
|
diff
|
annotate
2002-08-17
paulson
tidying of Isar scripts
file
|
diff
|
annotate
2001-06-09
paulson
renaming of evs in the Fake rule
file
|
diff
|
annotate
2001-03-29
paulson
misc tidying; changing the predicate isSymKey to the set symKeys
file
|
diff
|
annotate
2001-02-13
paulson
partial conversion to Isar script style
file
|
diff
|
annotate
1998-09-08
paulson
Got rid of not_Says_to_self and most uses of ~= in definitions and theorems
file
|
diff
|
annotate
1997-09-18
paulson
Global change: lost->bad and sees Spy->spies
file
|
diff
|
annotate
1997-09-05
paulson
Renamed "evs" to "evs1", "evs2", etc. in protocol inductive definition
file
|
diff
|
annotate
1997-07-22
paulson
Deleted the superfluous assumption A ~= B, which must hold anyway by induction
file
|
diff
|
annotate
1997-07-14
paulson
Changing "lost" from a parameter of protocol definitions to a constant.
file
|
diff
|
annotate
1997-06-27
paulson
Corrected indentations and margins after the renaming of "set_of_list"
file
|
diff
|
annotate
1997-06-26
nipkow
set_of_list -> set
file
|
diff
|
annotate
1997-01-23
paulson
Cosmetic improvements
file
|
diff
|
annotate
1997-01-23
paulson
Mended spelling error
file
|
diff
|
annotate
1997-01-17
paulson
Now with Andy Gordon's treatment of freshness to replace newN/K
file
|
diff
|
annotate
1997-01-09
paulson
New treatment of nonce creation
file
|
diff
|
annotate
1996-12-19
paulson
Extensive tidying and simplification, largely stemming from
file
|
diff
|
annotate
1996-12-05
paulson
Public-key examples
file
|
diff
|
annotate
less
more
(0)
tip