Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/FOL/fologic.ML
2011-08-17
wenzelm
modernized signature of Term.absfree/absdummy;
file
|
diff
|
annotate
2010-12-20
wenzelm
proper identifiers for consts and types;
file
|
diff
|
annotate
2010-08-17
haftmann
more antiquotations
file
|
diff
|
annotate
2009-08-29
wenzelm
eliminated hard tabs;
file
|
diff
|
annotate
2009-07-09
wenzelm
removed obsolete CVS Ids;
file
|
diff
|
annotate
2008-06-23
wenzelm
removed obsolete dest_concls;
file
|
diff
|
annotate
2001-10-04
wenzelm
added dest_conj, dest_concls;
file
|
diff
|
annotate
2000-11-03
wenzelm
removed atomic_Trueprop (now in Pure/Isar/auto_bind.ML);
file
|
diff
|
annotate
2000-09-05
wenzelm
added not;
file
|
diff
|
annotate
2000-08-07
paulson
new abstract syntax operations, used in ZF
file
|
diff
|
annotate
2000-07-30
wenzelm
added atomic_Trueprop;
file
|
diff
|
annotate
1999-10-04
wenzelm
added mk_conj, mk_disj, mk_imp;
file
|
diff
|
annotate
1999-01-19
paulson
tidied; added dest_eq
file
|
diff
|
annotate
1997-12-23
paulson
Better equality handling in Blast_tac, usingd a new variant of hyp_subst_tac
file
|
diff
|
annotate
1997-12-03
paulson
Instantiated the one-point-rule quantifier simpprocs for FOL
file
|
diff
|
annotate
less
more
(0)
tip