5 Commits

Author	SHA1	Message	Date
ccremers	9a86e80c96	- Added some type information to the Yahalom protocol model.	2005-01-14 18:22:22 +00:00
ccremers	0158e81cac	- Minor protocol fixes.	2005-01-14 16:09:09 +00:00
ccremers	0df4662a4a	- Fixed claim labelling.	2004-10-13 12:24:34 +00:00
ccremers	95f8558514	- Updates for the new claims stuff.	2004-02-22 13:16:53 +00:00
ccremers	0c17848f44	Initial revision	2004-02-20 11:37:28 +00:00