isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

src/HOL/String.thy

2010-04-16	wenzelm	replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;	file \| diff \| annotate
2010-02-13	wenzelm	modernized structures;	file \| diff \| annotate
2010-02-11	wenzelm	modernized translations;	file \| diff \| annotate
2010-01-13	haftmann	some syntax setup for Scala	file \| diff \| annotate
2009-10-27	haftmann	tuned	file \| diff \| annotate
2009-10-22	haftmann	map_range (and map_index) combinator	file \| diff \| annotate
2009-07-14	haftmann	prefer code_inline over code_unfold; use code_unfold_post where appropriate	file \| diff \| annotate
2009-07-14	haftmann	code attributes use common underscore convention	file \| diff \| annotate
2009-06-08	haftmann	constant "chars" of all characters	file \| diff \| annotate
2009-05-19	haftmann	String.literal replaces message_string, code_numeral replaces (code_)index	file \| diff \| annotate
2009-05-17	haftmann	is a definition	file \| diff \| annotate
2009-05-16	bulwahn	added new kind generated_theorem for theorems which are generated by packages to distinguish between theorems from users and packages	file \| diff \| annotate
2009-05-06	haftmann	proper structures for list and string code generation stuff	file \| diff \| annotate
2009-05-06	haftmann	refined HOL string theories and corresponding ML fragments	file \| diff \| annotate
2001-01-15	wenzelm	improved string syntax (allow translation rules);	file \| diff \| annotate
2000-12-23	wenzelm	Tools/string_syntax.ML;	file \| diff \| annotate
1999-08-16	wenzelm	'a list: Nil, Cons;	file \| diff \| annotate
1999-03-17	wenzelm	xstr token class;	file \| diff \| annotate
1998-07-03	wenzelm	moved String theory to main HOL;	file \| diff \| annotate

less more (0) tip

isabelle