doc-src/TutorialI/Misc/document/AdvancedInd.tex
2007-10-16 wenzelm 2007-10-16 updated;
2006-05-16 wenzelm 2006-05-16 updated;
2006-03-18 wenzelm 2006-03-18 updated;
2005-08-29 wenzelm 2005-08-29 updated;
2005-08-29 wenzelm 2005-08-29 updated;
2005-08-28 wenzelm 2005-08-28 updated;
2005-08-16 wenzelm 2005-08-16 updated;
2005-05-25 nipkow 2005-05-25 *** empty log message ***
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2004-02-10 paulson 2004-02-10 updated links to the old ftp site
2003-01-29 nipkow 2003-01-29 *** empty log message ***
2003-01-15 paulson 2003-01-15 auto-update
2002-12-17 paulson 2002-12-17 auto-update
2002-01-18 wenzelm 2002-01-18 tuned;
2002-01-10 nipkow 2002-01-10 *** empty log message ***
2001-12-13 nipkow 2001-12-13 *** empty log message ***
2001-10-21 wenzelm 2001-10-21 updated;
2001-10-08 wenzelm 2001-10-08 *** empty log message ***
2001-08-09 paulson 2001-08-09 revisions and indexing
2001-07-17 paulson 2001-07-17 tidying the index
2001-05-02 nipkow 2001-05-02 *** empty log message ***
2001-05-01 nipkow 2001-05-01 *** empty log message ***
2001-04-17 nipkow 2001-04-17 *** empty log message ***
2001-03-07 nipkow 2001-03-07 *** empty log message ***
2001-01-21 wenzelm 2001-01-21 updated;
2001-01-12 paulson 2001-01-12 auto update
2000-12-18 nipkow 2000-12-18 *** empty log message ***
2000-12-13 wenzelm 2000-12-13 updated;
2000-12-12 paulson 2000-12-12 auto-updated
2000-12-06 wenzelm 2000-12-06 updated;
2000-12-06 paulson 2000-12-06 auto update
2000-12-04 wenzelm 2000-12-04 *** empty log message ***
2000-11-08 nipkow 2000-11-08 *** empty log message ***
2000-11-06 paulson 2000-11-06 auto update
2000-11-06 nipkow 2000-11-06 *** empty log message ***
2000-11-04 wenzelm 2000-11-04 updated;
2000-10-31 nipkow 2000-10-31 *** empty log message ***
2000-10-25 nipkow 2000-10-25 *** empty log message ***
2000-10-20 nipkow 2000-10-20 *** empty log message ***
2000-10-18 nipkow 2000-10-18 *** empty log message ***
2000-10-17 nipkow 2000-10-17 *** empty log message ***
2000-10-13 nipkow 2000-10-13 *** empty log message ***
2000-10-11 nipkow 2000-10-11 *** empty log message ***
2000-10-11 nipkow 2000-10-11 *** empty log message ***
2000-09-14 nipkow 2000-09-14 *** empty log message ***
2000-09-12 nipkow 2000-09-12 *** empty log message ***
2000-09-11 wenzelm 2000-09-11 updated;
2000-09-05 nipkow 2000-09-05 *** empty log message ***
2000-09-01 nipkow 2000-09-01 *** empty log message ***
2000-08-29 nipkow 2000-08-29 *** empty log message ***
2000-08-29 nipkow 2000-08-29 *** empty log message ***
2000-08-29 nipkow 2000-08-29 *** empty log message ***
2000-08-29 wenzelm 2000-08-29 updated;
2000-08-28 wenzelm 2000-08-28 updated;
2000-08-21 wenzelm 2000-08-21 updated;
2000-08-21 nipkow 2000-08-21 *** empty log message ***