History log of /seL4-l4v-master/isabelle/src/HOL/TLA/README.html
Revision Date Author Comments
# 8c54312f 12-Mar-2013 wenzelm <none@none>

removed odd cvs artifacts;
# 708e0dda 04-Oct-2005 haftmann <none@none>

fixed broken mailto: link
# 52ec01fe 07-Mar-2005 webertj <none@none>

HTML 4.01 Transitional conformity
# 24d3fbdd 13-Nov-2004 webertj <none@none>

DOCTYPE declaration added
# ff0ece9c 18-Oct-1999 wenzelm <none@none>

update by Stephan Merz;
# 0c0fa6ed 08-Feb-1999 wenzelm <none@none>

updated (Stephan Merz);
# bc4ff77d 27-Aug-1998 wenzelm <none@none>

weblinted, tuned;
# 790b873d 13-Oct-1997 merz <none@none>

Absolute URL's for documentation
# 8b3b3609 08-Oct-1997 wenzelm <none@none>

A formalization of TLA in HOL -- by Stephan Merz;