CookBook/FirstSteps.thy
2009-01-26 Christian Urban added a section about combinators
2009-01-23 Christian Urban tuned
2009-01-15 Christian Urban used newly exported break reference in ThyOutput for writing separate output_list function
2009-01-14 Christian Urban added an antiquotation option [gray] for gray boxes around displays
2009-01-14 Christian Urban removed mytable from root-file
2009-01-14 Christian Urban deleted the fixme about simpsets
2009-01-14 Christian Urban highligted the background of ML-code
2009-01-14 Christian Urban added more to the "new command section" and tuning
less more (0) -30 -10 -8 tip